Formal Methods Europe Logo Formal Methods Europe
   
   
 
 About FME

 Projects
 Meetings
Symposia
 Expertise
 Membership
 Downloads
   
   
   
 

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.

The following symposia have been organized in the past or are planned in the (near) future:

 
Date Symposium Proceedings Photos Location
26 May 2008 -
30 May 2008		 FM 2008: 15th International Symposium on Formal Methods     Turku, Finland
21 August 2006 -
27 August 2006		 FM 2006: 14th International Symposium on Formal Methods LNCS 4085   Hamilton, Canada
17 July 2005 -
21 July 2005		 FM 2005: 13th International Symposium on Formal Methods LNCS 3582   Newcastle, UK
07 September 2003 -
13 September 2003		 FME 2003: Formal Methods LNCS 2805   Pisa, Italy
21 July 2002 -
23 July 2002		 FME 2002: Formal Methods: Getting IT Right LNCS 2391   Copenhagen, Denmark
11 March 2001 -
15 March 2001		 FME 2001: Formal Methods for Increasing Software Productivity LNCS 2021   Berlin, Germany
19 April 1999 -
23 April 1999		 FM'99: Formal Methods LNCS 1708 and 1709   Toulouse, France
14 September 1997 -
18 September 1997		 FME'97: Industrial Applications and Strengthened Foundations of Formal Methods LNCS 1313   Graz, Austria
17 March 1996 -
21 March 1996		 FME'96: Industrial Benefit and Advances in Formal Methods LNCS 1051   Oxford, UK
23 October 1994 -
27 October 1994		 FME'94: Industrial Benefit of Formal Methods LNCS 873   Barcelona, Spain
18 March 1993 -
22 March 1993		 FME'93: First International Symposium of Formal Methods Europe LNCS 670   Odense, Denmark
20 October 1991 -
24 October 1991		 VDM'91: Formal Software Development Methods LNCS 551 and 552   Noordwijk, The Netherlands
16 April 1990 -
20 April 1990		 VDM'90: VDM and Z - Formal Methods in Software Development LNCS 428   Kiel, Germany
10 September 1988 -
15 September 1988		 VDM'88: VDM - The Way Ahead LNCS 328   Dublin, Ireland
22 March 1987 -
25 March 1987		 VDM'87: VDM - A Formal Method at Work LNCS 252   Brussels, Belgium

Proceedings of the FME symposia are published by Springer Verlag as part of the LNCS (Lecture Notes in Computer Science) series.

FME has a subgroup dealing with daily matters concerning the symposia and thinking about strategic issues in the longer run.

 

© copyright 2004 | Formal Methods Europe