SEFM 2017 – Software Engineering and Formal Methods

The 15th International Conference will be held in Trento, Italy, September 6-10, 2017. The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Event schedule

06/09 — 10/09
Sala “Luigi Stringa”, FBK Povo, Via Sommarive, 18, Povo
06/09/2017 — 10/09/2017

Sala “Luigi Stringa”, FBK Povo

Via Sommarive, 18, Povo

Important dates:

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

Privacy Notice
By participating to the event, within the meaning and for the purposes of the EU Regulation No. 2016/679 – General Data Protection Regulation (GDPR) as described in the Privacy Policy for FBK event’s participants, you consent to the processing and use of pictures taken during the event, streaming service and presentation, declaring that the Foundation will not be charged for any of them.