FME Annual General Meeting 2020

The Annual General Meeting of FME will take place online, April 9 2020.

Read more

Share

What is going on in the Formal Methods community?

Are you interested in what is going on in the FM community?

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.

Read more

Share

Book review: Concrete Semantics with Isabelle/HOL

Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL

Springer Verlag, 2014, ISBN 978-3-319-10542-0, http://www.concrete-semantics.org/

Summary

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

Read more

Share

Videos from the World Congress on Formal Methods 2019

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.

Did you ever wonder what June talked about at FM2019?

Read more

Share

Videos from the World Congress on Formal Methods 2019

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.

Did you ever wonder what Erik talked about at FM2019?

Read more

Share

Videos from the World Congress on Formal Methods 2019

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.

Did you ever wonder what Shriram talked about at FM2019?

Read more

Share

CfP FormaliSE 2020

Call for Papers
FORMALISE 2020

8th International Conference on Formal Methods in Software Engineering
co-located with ICSE 2020

25-26 May 2020 May 2019, Seoul, Korea
http://www.formalise.org/

Deadline extension: 18 Jan (abstract, 23 Jan (paper)

Read more

Share

FME Fellowship Awarded to Prof. José Meseguer

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.

Read more

Share

Second FME Lucas Award to Syverson and Stubblebine

The FME Lucas Award goes to Paul F. Syverson and Stuart G. Stubblebine for their paper

Group principals and the formalisation of anonymity

published at the First World Congress on Formal Methods (FM’99).

Read more

Share

HFM 2019: History of Formal Methods workshop @ FM2019

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

Read more

Share