FM’2019 October 7-11, 2019  Porto, Portugal

FM’19 is the 23rd symposium in a series organized by the Formal Methods Europe association (FME). Every 10 years the symposium is organized as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09in Eindhoven, formal methods communities from all over the world will again have the opportunity to meet. Therefore, FM’19 will be both an occasion to celebrate, and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds and schools to exchange their ideas and share their experience.

Abstract Submission: 28 March 2019

Full Paper Submission: 11 April 2019, 23:59 AoE