Offside
Lado B

Costume Play.

Corporate

INESC TEC, in the words of our partners – Statement by Rui Monteiro from NAU21.

Limelight

And the nominees for Limelight are: Artur Capela (CSIG), João Teixeira (CTM) and Sílvia Bessa (CTM).

Free Nonsense

"For INESC TEC, this is a long road that barely even started. But this is also a bet that makes every sense.", Luís Soares Barbosa (HASLab)

Gallery of the Uncommon

There was a Portuguese channel that, in a desperate attempt to match Cristina Ferreira's success, did something incredible. Can you guess what?...

Where are you now?

Every month INESC TEC sends highly qualified individuals into the market...

Jobs 4 the Boys & Girls

In this section, the reader may find reference to public announcements made by INESC TEC offering grants, contracts and other opportunities.

Biptoon

More scenes of how life goes merrily on...

 
 

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

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 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.

FM19

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

 

Credits photo: Porto.pt

 

The INESC TEC researchers mentioned in this news piece are associated with INESC TEC, UMinho and UP-FEUP.