Formal Methods Europe
  • About FME
    • What is FME?
    • Contact
    • Become A Member
    • Board Members
    • Advisory Board
    • Minutes
    • Documents
  • Committees
    • Awards Committee
    • Book Review Committee
    • Communications Committee
    • Industry Committee
    • Teaching Committee
  • Formal Methods
    • What are Formal Methods?
    • Choosing a Formal Method
    • FM Tool Support
    • FM Companies
    • Commercial FM Use
  • Events
    • Upcoming Events
    • FM Symposia
    • FormaliSE
    • FMTea
    • InFM
    • Code of Conduct
    • Code of Diversity
  • FME Awards
About FME Committees Formal Methods Events FME Awards
Meetings

FME Annual General Meeting 2020

2020-04-06

FME Annual General Meeting 2019 and FME/BCS-FACS Seminar

2019-03-06

66th FME Meeting

2018-07-11

65th FME Meeting

2018-06-01

FME 64th Meeting at iFM2017, 20 September 2017

2017-08-29

FME Annual General Meeting 2017 and FME/BCS-FACS Seminar

2017-04-15

FME Annual General Meeting in Eindhoven, 8 April 2016

2016-03-17

FME 6oth Meeting, London, 7 Dec 2015

2015-11-04

FME Annual General Meeting in Oslo, 23 June 2015

2015-06-05

New Chair Elected: Ana Cavalcanti

2014-03-07
« Prev Next »

Recents

  • news

    FM 2026: Call for Papers

    2025-04-10

  • news

    Call for Nominations: Editor-In-Chief Formal Aspects of Computing

    2025-03-01

  • meetings

    FME Annual General Meeting 2025 & FME/BCS-FACS Talk by Maurice ter Beek

    2025-02-19

  • meetings

    80th FME Meeting, 13 December 2024

    2024-12-10

  • curricula

    Does every Computer Scientist need to know Formal Methods?

    2024-10-02

  • Become a Member

  • Upcoming Formal Methods Events

© 2025 Formal Methods Europe