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.