Minutes
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:
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
