FM

International Symposium on Formal Methods

1. 2026

   FM 2026

   • 18-22 May
   • Tokyo, Japan

   • Formal Methods

     69 Papers

     2 Volumes

2. 2024

   FM 2024

   • 9-13 September
   • Milan, Italy

   • Formal Methods

     67 Papers

     2 Volumes

3. 2023

   FM 2023

   • 6-10 March
   • Lübeck, Germany

   • Formal Methods

     38 Papers

     1 Volume

4. 2021

   FM 2021

   • 20-26 November

   • Formal Methods

     46 Papers

     1 Volume

5. 2019

   FM 2019

   • 7-11 October
   • Porto, Portugal

   • Formal Methods – The Next 30 Years

     46 Papers

     1 Volume

   • Formal Methods. FM 2019 International Workshops

     70 Papers

     2 Volumes

6. 2018

   FM 2018

   • 15-17 July
   • Oxford, United Kingdom

   • Formal Methods

     46 Papers

     1 Volume

7. 2016

   FM 2016

   • 9-11 November
   • Limassol, Cyprus

   • FM 2016: Formal Methods

     51 Papers

     1 Volume

8. 2015

   FM 2015

   • 24-26 June
   • Oslo, Norway

   • FM 2015: Formal Methods

     43 Papers

     1 Volume

9. 2014

   FM 2014

   • 12-16 May
   • Singapore, Singapore

   • FM 2014: Formal Methods

     49 Papers

     1 Volume

10. 2012

    FM 2012

    • 27-31 August
    • Paris, France

    • FM 2012: Formal Methods

      38 Papers

      1 Volume

11. 2011

    FM 2011

    • 20-24 June
    • Limerick, Ireland

    • FM 2011: Formal Methods

      32 Papers

      1 Volume

12. 2009

    FM 2009

    • 2-6 November
    • Eindhoven, The Netherlands

    • FM 2009: Formal Methods

      53 Papers

      1 Volume

13. 2008

    FM 2008

    • 26-30 May
    • Turku, Finland

    • FM 2008: Formal Methods

      32 Papers

      1 Volume

14. 2006

    FM 2006

    • 21-27 August
    • Hamilton, ON, Canada

    • FM 2006: Formal Methods

      45 Papers

      1 Volume

15. 2005

    FM 2005

    • 18-22 July
    • Newcastle, United Kingdom

    • FM 2005: Formal Methods

      40 Papers

      1 Volume

16. 2003

    FME 2003

    • 8-14 September
    • Pisa, Italy

    • FME 2003: Formal Methods

      49 Papers

      1 Volume

17. 2002

    FME 2002

    • 22-24 July
    • Copenhagen, Denmark

    • FME 2002: Formal Methods - Getting IT Right

      34 Papers

      1 Volume

18. 1999

    FM 1999

    • 20-24 September
    • Toulouse, France

    • FM'99 - Formal Methods

      50 Papers

      1 Volume

19. 1997

    FME 1997

    • 15-19 September
    • Graz, Austria

    • FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

      35 Papers

      1 Volume

20. 1996

    FME 1996

    • 18-22 March
    • Oxford, United Kingdom

    • FME '96: Industrial Benefit and Advances in Formal Methods

      38 Papers

      1 Volume

21. 1994

    FME 1994

    • 24-28 October
    • Barcelona, Spain

    • FME '94: Industrial Benefit of Formal Methods

      41 Papers

      1 Volume