About SEFM2017


Registration is now open


The 15th International Conference on Software Engineering and Formal

Methods, SEFM 2017, will be held in Trento, Italy, September 4-8, 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.


Countdown to Paper Submission


Important Dates

Abstract submission

April 06, 2017

Full paper submission

April 13, 2017

Notification of acceptance

May 29, 2017

Workshops

September 4-5, 2017

Main Conference

September 6-8, 2017


Recent Announcements

  • Registration The registration is now open!
    Posted Jul 3, 2017, 8:14 AM by Gianni Zampedri
  • List of Accepted Papers uploaded The list of Accepted Papers has been uploaded. See the Accepted Papers page.
    Posted Jun 7, 2017, 1:40 AM by Gianni Zampedri
  • Deadline Extension A deadline extension has been approved for SEFM 2017.New dates (AOE, firm):Abstract submission: 06 April 2017Paper submission: 13 April 2017See the Call For Papers page for ...
    Posted Mar 28, 2017, 1:14 AM by Gianni Zampedri
  • List of workshops updated The list of workshops is out; see the Workshops page.
    Posted Mar 2, 2017, 12:58 AM by Gianni Zampedri
  • First call for papers The first call for papers is out: see the Paper Submission page
    Posted Dec 19, 2016, 2:37 AM by Gianni Zampedri
Showing posts 1 - 5 of 5. View more »