FME members usually meet three times a year, preferably at a “reachable” place somewhere in Europe so that as many members can attend as possible. At the meetings ongoing matters are discussed as well as strategic matters regarding FME’s future. The meetings are usually concluded with one or two technical presentations on formal methods.
The minutes of all FME meetings are available on-line:
- 79th meeting, Milano, 13 September 2024
- 78th meeting, online, 26 June 2024
- 77th meeting, London, 1 February 2024
- 76th meeting, online, 15 July 2023
- 75th meeting, Lübeck, 7 March 2023
- 74th meeting, online, 12 December 2022
- 73rd meeting, Lugano, 9 June 2022
- 72nd meeting, online, 14 December 2021
- 71st meeting, online, 6 May 2021
- 70th meeting, online, 10 December 2020
- 69th meeting, online, 9 April 2020
- 68th meeting, Porto, 9 October 2019
- 67th meeting, London, 3 April 2019
- 66th meeting, Oxford, 16 July 2018
- 65th meeting, Gothenburg, 2 June 2018
- 64th meeting, Turin, 20 September 2017
- 63rd meeting, London, 4 May 2017
- 62nd meeting, Limassol, 10 November 2016
- 61st meeting, Eindhoven, 8 April 2016
- 60th meeting, London, 7 December 2015
- 59th meeting, Oslo, 23 and 25 June 2015
- 58th meeting, Singapore, 16 May 2014
- 57th meeting, Newcastle, 13 February 2014
- 56th meeting, Amsterdam, 8 March 2013
- 55th meeting, Paris, 30 August 2012
- 54th meeting, London, 16 February 2012
- 53rd meeting, Limerick, 23 June 2011
- 52nd meeting, Paris, 18 February 2011
- 51st meeting, Limerick, 21 June 2010
- 50th meeting, Eindhoven, 5 November 2009
- 49th meeting, London, 2 April 2009
- 48th meeting, Pisa, 10 October 2008
- 47th meeting, Turku, Finland, 29 May 2008
- 46th meeting, London, UK, 25 February 2007
- 45th meeting, Eindhoven, The Netherlands, 9 October 2007
- 44th meeting, Turku, Finland, 30 May 2007
- 43rd meeting, London, UK, 7 February 2007
- 42nd meeting, Hamilton, Canada, 24 August 2006
- 41st meeting, London, UK, 24 April 2006
- 40th meeting, Newcastle upon Tyne, UK, 20 July 2005
- 39th meeting, Eindhoven, The Netherlands, 19 April 2005
- 38th meeting, Ghent, Belgium, 19 November 2004
- 37th meeting, Newcastle upon Tyne, UK, 5 September 2004
- 36th meeting, Canterbury, UK, 4 April 2004
- 35th meeting, Ghent, Belgium, 27 November 2003
- 34th meeting, Pisa, Italy, 11 September 2003 - 12 September 2003
- 33rd meeting, Braga, Portugal, 22 May 2003
- 32nd meeting, Pisa, Italy, 19 October 2002
- 31st meeting, Copenhagen, Denmark, 25 July 2002
- 30th meeting, London, UK, 19 October 2001
- 29th meeting, Delft, The Netherlands, 30 Juni 2001
- 28th meeting, Berlin, Germany, 14 - 15 March 2001
- 27th meeting, Braga, Portugal, 11 November 2000
- 26th meeting, Berlin, Germany, 17 June 2000
- 25th meeting, Newcastle, UK, 17 February 2000
- 24th meeting, Toulouse, France, 22 September 1999
- 23rd meeting, Stockholm, Sweden, 13 May 1999
- 22nd meeting, Berlin, Germany, 23 February 1999
- 21st meeting, London, UK, 15 October 1998
- 20th meeting, Lyngby, Denmark, 2 February 1998
- 19th meeting, Graz, Austria, 16 September 1997
- 18th meeting, Toulouse, France, 15 March 1997
- 17th meeting, Brussels, Belgium, 21 October 1996
- 16th meeting, Stockholm, Sweden, 28 June 1996
- 15th meeting, Oxford, UK, 18 March 1996
- 14th meeting, Paris, France, 17 November 1995
- 13th meeting, Birkerod, Denmark, 24 August 1995
- 12th meeting, Brussels, Belgium, 12 May 1995
- 11th meeting, Paris, France, 16 February 1995
- 9th meeting, Eindhoven, The Netherlands, 14 July 1994
- 8th meeting, Brussels, Belgium, 13 April 1994
- 7th meeting, Brussels, Belgium, 07 December 1993
- 5th meeting, Brussels, Belgium, 18 February 1993
- 4th meeting, Brussels, Belgium, 08 January 1993
- 3rd meeting, Teddington, UK, 05 October 1992
- 2nd meeting, Brussels, Belgium, 05 February 1992
- 1st meeting, Brussels, Belgium, 17 January 1992
The minutes of VDM Europe, the predecessor organisation of FME:
- VDM Europe meeting, Brussels, Belgium, 17 January 1991
- VDM Europe meeting, Brussels, Belgium, 20 September 1990
- VDM Europe meeting, Brussels, Belgium, 15 December 1989