Prof. José Meseguer, professor of computer science at University of Illinois, Urbana-Champaign (USA), has been awarded the FME Fellowship 2019. The Fellowships are awarded every three years in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems.
The FME Lucas Award goes to Paul F. Syverson and Stuart G. Stubblebine for their paper
published at the First World Congress on Formal Methods (FM’99).
The History of Formal Methods workshop (HFM 2019) will be part of
the the 3rd World Congress on Formal Methods (FM 2019)
and take place in Porto, Portugal, 11 October 2019.
https://sites.google.com/view/hfm2019/home
Watch Jeff Joyce’s keynote from FormaliSE 2019: The Benefits of (having doubts about) Formal Methods
2019 FME Annual General Meeting. The Annual General Meeting of FME will take place in London, April 3, and be co-located with a lecture by Farhad Arbab at the British Computer Society.
The Formal Methods Europe association is collecting feedback on FM 2018, and on how the FM participants appreciated our participation in FLOC last year.
FME invites proposals from any group or institution wishing to host the next FM symposium in 2021. FM 2021 will be the 24th International Symposium on Formal Methods and will preferably take place in spring 2021. The format of the symposium foresees for the organization of related events such as tutorials, displays of tools, products, research projects and publishers and the co-location of the FM Symposium with other conferences and workshops in related areas.
Established in 2015 and normally given every three years for technical achievements in advancing, applying, and promoting formal methods, the Formal Methods Europe (FME) Fellowship rewards scientific breakthroughs and pioneering work that have made a difference to the world through advances in formal methods. This includes contributions in the following areas:
The recipient of the fellowship will clearly have made a difference in one or more of these areas, and this will be supported by concrete evidence.