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.
20th March 2019
The event will be held in partnership with the 5th edition of the Porto Tech Hub Conference, which will take place on 11 October at the same location.
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.
TEAM:
General Chair: José Nuno Oliveira, HASLab | INESC TEC & University of Minho
Organising Committee:
Luís Soares Barbosa (Publicity Chair), HASLab | INESC TEC & University of Minho
José Creissac Campos (Financial Chair), HASLab | INESC TEC & University of Minho
João Pascoal Faria, CSIG | INESC TEC and University of Porto
Sara Fernandes, University of Minho & HASLab | INESC TEC
Luís Neves, Critical Software
Ana Paiva (Industry Relations Chair), CSIG | INESC TEC and University of Porto
Local Organisers:
Catarina Fernandes, HASLab | INESC TEC & University of Minho
Bárbara Veloso, HASLab | INESC TEC
Paula Rodrigues, HASLab | INESC TEC
Web Team:
Francisco Neves, HASLab | INESC TEC & University of Minho
Rogério Pontes, HASLab | INESC TEC & University of Minho
Paula Rodrigues, HASLab | INESC TEC
The INESC TEC researchers mentioned in this news piece are associated with INESC TEC, UMinho and UP-FEUP.