SEFM 2017 – Software Engineering and Formal Methods
Sala “Luigi Stringa”, FBK Povo
Via Sommarive, 18, Povo
Abstract submission: March 13, 2017
Full paper submission: March 20, 2017
Notification of acceptance: May 15, 2017
Main Conference: September 6-8, 2017
Background and objectives:
Satellite workshops provide further opportunities for collaborating and exchanging ideas about specific topics of Formal Methods and Software Engineering, from conceptual to practical aspects. Presentations and discussions may be based on preliminary results, recent progress, practical experiences and research proposals, and focus on domain-specific contexts, needs and/or applications, multidisciplinary aspects and communities, coordination between representatives of a technical community and proposed, ongoing or recently completed projects.
SEFM 2017 invites prospective workshop organisers to submit their ideas for workshops by 31 of January 2017 at the latest. Workshops should be targeted to research work in the areas of Software Engineering and/or Formal Methods (for a list of topics of interest you may visit the conference website).
Prospective workshop organisers are requested to follow the guidelines and are encouraged to contact the Workshop Co-chairs if any questions arise.
Alessandro Cimatti Marjan Sirjani