Formal Methods Europe

Homepage of FME

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:

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