Formal Methods (FM)

Formal Methods Europe

FM 2014: Singapore

FM 2012: Paris, France

FM 2011: Limerick, Ireland

FM 2009: Eindhoven, The Netherlands

- FM 2009 Home Page

FM 2008: Turku, Finland

- FM 2008 Home Page

FM 2006: Hamilton, Canada

- FM 2006 Home Page

FM 2005: Newcastle upon Tyne, UK

- FM 2005 Home Page

FME 2003: Pisa, Italy

- FM 2003 Home Page

FM 2002: Copenhagen, Denmark

- part of FLoC 2002

FME 2001: Berlin, Germany

FM 1999: Toulouse, France

FM-Trends 1998: Boppard, Germany

4. FME 1997: Graz, Austria

3. FME 1996: Oxford, UK

2. FME 1994: Barcelona, Spain

1. FME 1993: Odense, Denmark

4. VDM Europe 1991: Noordwijkerhout, The Netherlands

3. VDM Europe 1990: Kiel, Germany

2. VDM Europe 1988: Dublin, Ireland

1. VDM Europe 1987: Brussels, Belgium

Program Specification 1981: Aarhus, Denmark

The Use of Formal Specification of Software 1979: Berlin, Germany

The Vienna Development Method: The Meta-Language 1978