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.

"The Next 30 Years"

FM 2019 is the 23rd in a series of symposia organised by Formal Methods Europe , an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It is now more than 30 years since the first VDM symposium in 1987 brought together researchers with the common goal of creating methods to produce high quality software based on rigour and reason. Since then the diversity and complexity of computer technology has changed enormously and the formal methods community has stepped up to the challenges those changes brought by adapting, generalising and improving the models and analysis techniques that were the focus of that first symposium. The theme for FM 2019 is a reflection on how far the community has come and the lessons we can learn for understanding and developing the best software for future technologies.

Sponsors

FM'19 specially sponsored by

Platinum

Gold

Silver

Bronze

Basic

Industry Tool Exhibitors

Other partnerships

Organization