Videos from FormaliSE 2020

FormaliSE 2020 keynote: Corina Pasareanu

FormaliSE 2020 was organised as a 1-day virtual conference co-located with ICSE on July 13, 2020. The main objective of FormaliSE is to foster the integration between the formal methods and the software engineering communities, to strengthen the – still too weak – links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems. We here bring you a keynote from Formalise 2020, given by Corina Pasareanu: On the Probabilistic Analysis of Neural Networks.

Read more

Share

Videos from FormaliSE 2020

FormaliSE 2020 keynote: Shahar Maoz

FormaliSE 2020 was organised as a 1-day virtual conference co-located with ICSE on July 13, 2020. The main objective of FormaliSE is to foster the integration between the formal methods and the software engineering communities, to strengthen the – still too weak – links between them, and to stimulate researchers to share ideas, techniques, and results, with the ultimate goal to propose novel solutions to the fraught problem of improving the quality of software systems. We here bring you a keynote from Formalise 2020, given by Shahar Maoz: SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers

Read more

Share

FM 2021: Call for Papers

Call for Papers
FM 2021: 24th International Symposium on Formal Methods

Beijng, China, November 20-26, 2021
http://formalmethods2021.csp.escience.cn/

Read more

Share

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

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

This review is written by Stefan Hallerstede for FME’s Book Review Committee (BRC). The aim of the BRC is to provide to the formal methods community, and to the scientific community in general, high-quality reviews of books on topics of interest to the community. The review has also appeared in Formal Aspects of Computing (link).

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