FM 2019: 3rd World Congress on Formal Methods

FM 2019 will be the 3rd World Congress on Formal Methods and will take place in Porto, Portugal, 7-11 October 2019.


Ten years after FM'09, the world congress in Eindhoven and 20 years after FM'99, the first world congress in Toulouse, the formal methods communities from all over the world will again have the opportunity to meet. As the 3rd World Congress on Formal Methods, FM 2019 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.


Porto has been voted European Best Destination several times (2012, 2014 and 2017). Never has the choice of the winning city – the Cidade Invicta (unvanquished city) — been so unanimous among travellers from all other the world as in 2017.

Porto’s architecture, culture, gastronomy, trade, encounters and discoveries seduce travellers. The historic center of Porto is listed as UNESCO World Heritage Site 755 since 1996, in recognition for being “an outstanding urban landscape with a 2,000- year history […] linked to the sea (the Romans gave it the name Portus, or port)” in Europe.

Porto is also considered one of the world’s most exciting cities in 2018! Click here to read more.


FM 2019 will take place in Porto, Portugal, October 7-11, 2019.

Important dates

  • Abstract Submission: 28 March 2019
  • Full Paper Submission: 11 April 2019 AoE
  • Notification: 11 June 2019
  • Camera Ready: 9 July 2019
  • Conference: 7-11 October 2019

Author: Einar Broch Johnsen