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, FBK-Povo
06/09/2017 — 10/09/2017

Sala “Luigi Stringa” – FBK-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