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
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