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.

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
Pursuant to art. 13 of EU Regulation No. 2016/679 – General Data Protection Regulation and as detailed in the Privacy Policy for FBK event’s participants, we inform you that the event will be recorded and disclosed on the FBK institutional channels. In order not to be filmed or recorded, you can disable the webcam and/or mute the microphone during virtual events or inform the FBK staff who organize the public event beforehand.