We interviewed some keynote speakers of the conferences at the Formal Methods World Congress 2019 about the topics they are working on in formal methods, about current challenges and about their advice for young researchers.
Springer Verlag, 2014, ISBN 978-3-319-10542-0, http://www.concrete-semantics.org/
The book Concrete Semantics with Isabelle/HOL by Tobias Nipkow and Gerwin Klein introduces students to higher-order logic (HOL) and theorem proving in Isabelle and to semantics of imperative programming languages. The book uses the Isabelle proof assistant and comes with supporting material including slides, exercises, Isabelle theories and a PDF of the book itself, all available at http://concrete-semantics.org
The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by June Andronick.
The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by Erik Poll.
The 3rd World Congress in Formal Methods was held in Porto, Portugal, 7-11 October 2019 and included 9 conferences, 16 workshops, an Industry Day, a Doctoral Symposium, and two festschrift events. In a series of videos, we will present some highlights from the world congress. We here bring you a keynote from the 23rd International Symposium on Formal Mehtods (FM 2019), given by Shriram Krishnamurthi.
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