Formal Methods Europe
  • About FME
    • Contact
    • Become A Member
    • Board Members
    • Advisory Board
    • Awards Committee
    • Book Review Committee
    • Communications Committee
    • Industry Committee
    • Teaching Committee
    • Minutes
    • Documents
  • Formal Methods
    • Choosing a Formal Method
  • Events
    • Upcoming Events
    • FM Symposia
    • FormaliSE
    • Code of Conduct
  • FME Awards
About FME Formal Methods Events FME Awards
meetings

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

FME Annual General Meeting 2014

2014-02-03

FME Annual General Meeting 2013 - A Celebration of Formal Methods

2013-01-13

FME Annual General Meeting 2013

2012-12-10

FME meetings in Paris

2012-08-07

FME Annual General Meeting 2012

2011-07-26
« Prev Next »

Recents

  • awards

    Call for Nominations: FME Fellowship Award 2024

    2023-11-04

  • book reviews

    Book Review: Verified Functional Programming in Agda

    2023-06-15

  • meetings

    FME Annual General Meeting 2023

    2023-06-01

  • news

    Book Review: Principles of Cyber-Physical Systems

    2023-03-22

  • news

    Book Review: Functional Algorithms, Verified!

    2022-12-02

  • Become a Member

  • Upcoming Formal Methods Events

© 2023 Formal Methods Europe