FME Communications Committee

Communication Channels

News published by the communications committee can be found on the following channels:

Join us on LinkedIN
Join us on YouTube
Follow FME on Twitter
Follow FME on Mastodon
Follow FME on Bluesky

Aim

The aim of the FME Communications Committee is to support the dissemination of material about formal methods as well as the activities of FME.

Members

• Andrea Bombarda, University of Bergamo, Italy
• Carlo A. Furia, Università della Svizzera Italiana (USI), Switzerland
• Einar Broch Johnsen, University of Oslo, Norway (chair)
• Matt Luckcuck, University of Nottingham, UK
• Lina Marsso, Polytechnique Montréal, Canada
• Claudio Menghi, University of Bergamo, Italy, and McMaster University, Canada
• Pedro Ribeiro, University of York, UK