You are here

SEFM 2017

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.

FBK, Via Sommarive 18 - Povo, Trento