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


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


Marcello Bersani, Politecnico di Milano, Italy
Carlo A. Furia, Università della Svizzera Italiana (USI), Switzerland
Einar Broch Johnsen, University of Oslo, Norway (chair)
Claudio Menghi, University of Luxembourg
Pedro Ribeiro, University of York, UK