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.

Author: Einar Broch Johnsen