About

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’09 in 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.