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.
The topics of interest for submission include, but are not limited to the following aspects of software engineering and formal methods:
We are pleased to have three invited speakers for SEFM 2017:
Notification: 29 May 2017
Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet. The conference proceedings will be published by Springer Verlag in the Formal Methods subline of the Lecture Notes in Computer Science series.
Information about all committees can be found at http://sefm17.fbk.eu/committees.
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Marjan Sirjani, Malardalen University, Sweden