The 15th International Conference on Software Engineering and Formal
Methods, SEFM 2017, 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.