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.
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 has a subgroup dealing with daily matters concerning the symposia and thinking about strategic issues in the longer run.
The following symposia have been organized in the past or are planned in the (near) future:
- FM 2014: 19th International Symposium on Formal Methods, Singapore, 12-16 May, 2014.
- FM 2012: 18th International Symposium on Formal Methods, Paris, France, 27-31 August, 2012.
- FM 2011: 17th International Symposium on Formal Methods, Limerick, Ireland, 20-24 June, 2011.
- FM 2009: 16th International Symposium on Formal Methods, Eindhoven, The Netherlands, November 2 - November 6, 2009.
- FM 2008: 15th International Symposium on Formal Methods, Turku, Finland, 26 May 2008 - 30 May 2008.
- FM 2006: 14th International Symposium on Formal Methods, Hamilton, Canada, 21 August 2006 - 27 August 2006; LNCS 4085.
- FM 2005: 13th International Symposium on Formal Methods, Newcastle, UK, 17 July 2005 - 21 July 2005; LNCS 3582.
- FME 2003: Formal Methods, Pisa, Italy, 07 September 2003 - 13 September 2003; LNCS 2805.
- FME 2002: Formal Methods: Getting IT Right, Copenhagen, Denmark, 21 July 2002 - 23 July 2002; LNCS 2391.
- FME 2001: Formal Methods for Increasing Software Productivity, Berlin, Germany, 11 March 2001 - 15 March 2001; LNCS 2021.
- FM’99: Formal Methods, Toulouse, France, 19 April 1999 - 23 April 1999; LNCS 1708 and 1709.
- FME’97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Austria, 14 September 1997 - 18 September 1997, LNCS 1313.
- FME’96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, 17 March 1996 - 21 March 1996, LNCS 1051.
- FME’94: Industrial Benefit of Formal Methods, Barcelona, Spain, 23 October 1994 - 27 October 1994, LNCS 873.
- FME’93: First International Symposium of Formal Methods Europe, Odense, Denmark, 18 March 1993 - 22 March 1993, LNCS 670.
- VDM’91: Formal Software Development Methods, Noordwijk, The Netherlands, 20 October 1991 - 24 October 1991, LNCS 551 and 552.
- VDM’90: VDM and Z - Formal Methods in Software Development, 16 April 1990 - 20 April 1990, Kiel, Germany.
- VDM’88: VDM - The Way Ahead, 10 September 1988 - 15 September 1988, Dublin, Ireland, LNCS 328.
- VDM’87: VDM - A Formal Method at Work, 22 March 1987 - 25 March 1987, Brussels, Belgium, LNCS 252.
