Formal Methods Europe

FME is a not-for-profit association run by a group of volunteers that form the FME board.
FME’s aim is to encourage formal methods research and application. FME estimulates the use of formal methods in industry and promotes international co-operation among researchers and users of formal methods, in order to exchange ideas, to identify common interests and to make links between research and areas of application.



INESC TEC is a private non-profit research institution, dedicated to scientific research and technological development, technology transfer, advanced consulting and training, and pre-incubation of new technology-based companies.


University of Minho

The University of Minho is currently one of the most prestigious Portuguese higher education institutions, and is gradually becoming more prominent internationally. ​ The University was founded in 1973, and it is currently comprised of three campi: the Gualtar Campus, in Braga, and the Azurém and Couros Campi, in Guimarães.