Congresso Mundial em Métodos Formais tem parceria com a Porto Tech Hub
O 3º Congresso Mundial em Métodos Formais (FM’19), organizado pelo INESC TEC, decorre de 7 a 11 de outubro, no Centro de Congressos Alfândega do Porto, em parceria com a 5ª edição da Conferência Porto Tech Hub, que se vai realizar no dia 11 de outubro, no mesmo local.
20 março 2019
Trata-se de uma iniciativa que acontece a cada 10 anos e dá a oportunidade a comunidades relacionadas com a área de métodos formais de todo o mundo de se encontrarem numa plataforma comum para investigadores, entusiastas e profissionais, com o objetivo de trocarem ideias e partilharem experiências.
A FM’19, nesta sua primeira edição em Portugal, conta já com mais de 30 eventos associados, nomeadamente, conferências, workshops e tutoriais na área dos métodos formais e engenharia de software.
A parceria com a Porto Tech Hub tem como principal objetivo aproximar a academia e os representantes do tecido empresarial nacional e internacional, destacando o talento e a inovação locais.
Já a edição de 2019 da Conferência Porto Tech Hub pretende integrar temas ligados aos processos criativos, cada vez mais presentes no domínio das Tecnologias de Informação, seja através do design, da música, do teatro ou através da própria cultura.
Os bilhetes de ambas as conferências vão ficar disponíveis em breve e todas as informações relacionadas com os eventos estão disponíveis nos respetivos websites. Os participantes nos dois eventos terão acesso a condições especiais na aquisição dos bilhetes, que irão ser anunciadas oportunamente e publicadas nas respetivas plataformas.
EQUIPA:
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
Os investigadores do INESC TEC mencionados na notícia têm vínculo ao INESC TEC, à UMinho e à UP-FEUP.