World Congress on Formal Methods has a partnership with Porto Tech Hub

The 3rd World Congress on Formal Methods (FM’19), organised by INESC TEC, will take place between 7 and 11 October at the Alfândega Porto Congress Centre. The event was held in partnership with the 5th edition of the Porto Tech Hub Conference, which will be held on 11 October at the same place.

This is an initiative that occurs every 10 years and that gives the opportunity to the communities related to the formal methods areas from all over the world to gather together in a platform common to researchers, fans and professionals in order to exchange ideas and share experiences. 

In its first edition in Portugal, FM’19 already has more than 30 associated events, namely conferences, workshops and tutorials in the formal methods and software engineering areas.

The partnership with Porto Tech Hub aims to bring together the academia and representatives of the national and international business world, thus highlighting the local talent and innovation. 

The 2019 edition of the Porto Tech Hub Conference intends to integrate topics related to the creative processes that are increasingly present in the Information Technologies field, whether through design, music, theatre or even through culture itself.

The tickets of both conferences will become available soon and all the information related to the events are available in the corresponding websites. The participants of both events will have access to special conditions when buying the tickets, which will be announced in a timely manner and published on their corresponding platforms.