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

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 Derby, UK
• Lina Marsso, University of Toronto, Canada
• Claudio Menghi, University of Bergamo, Italy, and McMaster University, Canada
• Pedro Ribeiro, University of York, UK