About

Every 10 years, the Symposium on Formal Methods organised by Formal Methods Europe takes the form of 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 at the FM’19 World Congress, coinciding with  the 23rd symposium of the series. 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.

Sponsors

FM'19 specially sponsored by

Platinum

Gold

Silver

Bronze

Basic

Industry Tool Exhibitors

Other partnerships