#sefm

The fifteenth edition is being held in Trento from September 6 to 10, and aims to bring together leading researchers and professionals from academia, industry and administration to advance the state of the art in Formal Methods.