The Formal Methods Symposia
FME organizes a symposium roughly every 18 months. Each symposium attracts between 125 and 500 attendees, interested in both theoretical aspects of formal methods as well as the practical application of formal methods, from all over the world.
Partnership with Journals
FME has established partnerships with several prestigious formal methods journals. Through these partnerships, the FM symposia will include presentations of papers published in the journals in the program of the FM symposia. These presentations compose a Journal-First Track. A dedicated Track Chair, with the help of a small committee, selects papers from the partnership journals and invite authors to present their work at FM. In this way, FME aims to strenghten the social side of our science, as lively discussion are central to scientific progress.
The partner journals that support the Journal-first track are:
- Formal Aspects of Computing (ACM)
- Formal Methods in System Design (Springer)
- Science of Computer programming (Elsevier)
Proceedings
Proceedings of the FME symposia are published by Springer Verlag as part of the LNCS (Lecture Notes in Computer Science) series. DBLP maintains an index of all FME symposia.
FME Subgroup
FME has a subgroup dealing with daily matters concerning the symposia and thinking about strategic issues in the longer run.
Former Symposia
The following symposia have been organized in the past or are planned in the (near) future:
- FM 2026: 27th International Symposium on Formal Methods, Tokyo, Japan, 18-22 May 2026
- FM 2024: 26th International Symposium on Formal Methods, Milan, Italy, 9-13 September 2024; LNCS 14933, LNCS 14934
- FM 2023: 25th International Symposium on Formal Methods, Lübeck, Germany, 6-10 March 2023; LNCS 14000.
- FM 2021: 24th International Symposium on Formal Methods, Beijing, China, 20-26 November 2021; LNCS 13047.
- FM 2019: 23rd International Symposium on Formal Methods, Porto, Portugal, 7-11 Oct 2019; LNCS 11800.
- FM 2018: 22nd International Symposium on Formal Methods, Oxford, UK, 15-17 July 2018; LNCS 10951.
- FM 2016: 21st International Symposium on Formal Methods, Limassol, Cyprus, 7-11 November 2016; LNCS 9995.
- FM 2015: 20th International Symposium on Formal Methods, Oslo, Norway, 22-26 June, 2015; LNCS 9109.
- FM 2014: 19th International Symposium on Formal Methods, Singapore, 12-16 May, 2014; LNCS 8442.
- FM 2012: 18th International Symposium on Formal Methods, Paris, France, 27-31 August, 2012; LNCS 7436.
- FM 2011: 17th International Symposium on Formal Methods, Limerick, Ireland, 20-24 June, 2011; LNCS 6664.
- FM 2009: 16th International Symposium on Formal Methods, Eindhoven, The Netherlands, 2 - 6 November, 2009; LNCS 5850.
- FM 2008: 15th International Symposium on Formal Methods, Turku, Finland, 26 - 30 May 2008; LNCS 5014.
- FM 2006: 14th International Symposium on Formal Methods, Hamilton, Canada, 21 27 August 2006; LNCS 4085.
- FM 2005: 13th International Symposium on Formal Methods, Newcastle, UK, 17 - 21 July 2005; LNCS 3582.
- FME 2003: Formal Methods, Pisa, Italy, 07 - 13 September 2003; LNCS 2805.
- FME 2002: Formal Methods: Getting IT Right, Copenhagen, Denmark, 21 - 23 July 2002; LNCS 2391.
- FME 2001: Formal Methods for Increasing Software Productivity, Berlin, Germany, 11 - 15 March 2001; LNCS 2021.
- FM’99: Formal Methods, Toulouse, France, 19 - 23 April 1999; LNCS 1708 and LNCS 1709.
- FME’97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Austria, 14 - 18 September 1997, LNCS 1313.
- FME’96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, 17 - 21 March 1996, LNCS 1051.
- FME’94: Industrial Benefit of Formal Methods, Barcelona, Spain, 23 - 27 October 1994, LNCS 873.
- FME’93: First International Symposium of Formal Methods Europe, Odense, Denmark, 18 - 22 March 1993, LNCS 670.
- VDM’91: Formal Software Development Methods, Noordwijk, The Netherlands, 20 - 24 October 1991, LNCS 551 and LNCS 552.
- VDM’90: VDM and Z - Formal Methods in Software Development, 16 - 20 April 1990, Kiel, Germany; LNCS 428.
- VDM’88: VDM - The Way Ahead, 10 - 15 September 1988, Dublin, Ireland, LNCS 328.
- VDM’87: VDM - A Formal Method at Work, 22 - 25 March 1987, Brussels, Belgium, LNCS 252.