Formal Methods Europe Logo Formal Methods Europe
   
   
 
 About FME

  Projects
 Meetings
  Symposia
  Expertise
  Membership
 Downloads
   
   
   
 

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.

Upcoming meeting(s): 

Date Location Agenda Additional information
10 October 2008  Pisa, Italy    

 

The following minutes of recent FME meetings are available on-line:

Date Minutes Material Photos Location
29 May 2008  Minutes of the 47th meeting  Attachments to the minutes    Turku, Finland
25 February 2008  Minutes of the 46th meeting  Attachments to the minutes    London, UK
09 October 2007  Minutes of the 45th meeting       Eindhoven, The Netherlands
30 May 2007  Minutes of the 44th meeting  Presentation on the status of FM 2008  Photos of the meeting  Turku, Finland
07 February 2007  Minutes of the 43rd meeting  Attachments to the minutes  Photos of the meeting  London, UK
24 August 2006  Minutes of the 42nd meeting      Hamilton, Canada
24 April 2006  Minutes of the 41st meeting  Attachments to the minutes  Photos of the meeting  London, UK
20 July 2005  Minutes of the 40th meeting  Attachments to the minutes  Photos of the meeting  Newcastle upon Tyne, UK
18 April 2005  Minutes of the 39th meeting  Input material for the meeting    Eindhoven, The Netherlands
18 November 2004  Minutes of the 38th meeting  Input material for the meeting    Ghent, Belgium
05 September 2004  Minutes of the 37th meeting  Input material for the meeting    Newcastle upon Tyne, UK
03 April 2004  Minutes of the 36th meeting  Input material for the meeting    Canterbury, UK
26 November 2003  Minutes of the 35th meeting  Input material for the meeting    Ghent, Belgium
10 September 2003 -
11 September 2003		 Minutes of the 34th meeting  Input material for the meeting    Pisa, Italy
21 May 2003  Minutes of the 33rd meeting      Braga, Portugal
18 October 2002  Minutes of the 32th meeting      Pisa, Italy
24 July 2002  Minutes of the 31st meeting      Copenhagen, Denmark
18 October 2001  Minutes of the 30th meeting  Input material for the meeting  Photos of the meeting  London, UK
29 June 2001  Minutes of the 29th meeting  Input material for the meeting    Delft, The Netherlands
13 March 2001 -
14 March 2001		 Minutes of the 28th meeting      Berlin, Germany
10 November 2000  Minutes of the 27th meeting  Input material for the meeting    Braga, Portugal
16 June 2000  Minutes of the 26th meeting      Berlin, germany
16 February 2000 -
17 February 2000		 Minutes of the 25th meeting  Input material for the meeting  Photos of the meeting  Newcastle, UK
21 September 1999  Minutes of the 24th meeting      Toulouse, France
12 May 1999  Minutes of the 23rd meeting      Stockholm, Sweden
22 February 1999  Minutes of the 22nd meeting  Input material for the meeting    Berlin, Germany
14 October 1998  Minutes of the 21st meeting      London, UK
01 February 1998  Minutes of the 20th meeting      Lyngby, Denmark
16 September 1997  Minutes of the 19th meeting      Graz, Austria
15 March 1997  Minutes of the 18th meeting      Toulouse, France
21 October 1996  Minutes of the 17th meeting      Brussels, Belgium
28 June 1996  Minutes of the 16th meeting      Stockholm, Sweden
18 March 1996  Minutes of the 15th meeting      Oxford, UK
17 November 1995  Minutes of the 14th meeting      Paris, France
24 August 1995  Minutes of the 13th meeting      Birkerod, Denmark
12 May 1995  Minutes of the 12th meeting      Brussels, Belgium
16 February 1995  Minutes of the 11th meeting      Paris, France
14 July 1994  Minutes of the 9th meeting      Eindhoven, The Netherlands
13 April 1994  Minutes of the 8th meeting      Brussels, Belgium
07 December 1993  Minutes of the 7th meeting      Brussels, Belgium
18 February 1993  Minutes of the 5th meeting      Brussels, Belgium
08 January 1993  Minutes of the 4th meeting      Brussels, Belgium
05 October 1992  Minutes of the 3rd meeting      Teddington, UK
05 February 1992  Minutes of the 2nd meeting      Brussels, Belgium
17 January 1992  Minutes of the 1st meeting      Brussels, Belgium
17 January 1991  VDM Europe meeting      Brussels, Belgium
20 September 1990  VDM Europe meeting      Brussels, Belgium
15 December 1989  VDM Europe meeting      Brussels, Belgium


For more information please contact info@fmeurope.org.
 

© copyright 2004 | Formal Methods Europe