Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Artigo

INESC TEC organiza congresso mundial com 600 profissionais na área da Informática

O FM’19 – 3rd World Congress on Formal Methods, evento que reúne os especialistas de todo o mundo na área da Informática, realizou-se no Porto, entre os dias 7 e 11 de outubro.

31 outubro 2019

Foram cerca de 600 os especialistas de mais de 40 nacionalidades diferentes que se juntaram neste que é conhecido como o maior congresso internacional na área dos Métodos Formais.

Com o objetivo de reunir investigadores, académicos e profissionais da indústria tecnológica com atividade na área da Informática e, em particular aqueles que investigam em Métodos Formais como forma de promover a qualidade e fiabilidade num setor com cada vez mais relevância tecnológica e social, o FM’19 contou com mais de 30 eventos paralelos, nomeadamente, nove conferências, dois festschrifts, 16 workshops, cinco tutoriais e ainda outros eventos, tais como o Industry Day e o Doctoral Symposium.

Para José Nuno Oliveira, presidente do comité organizador, investigador sénior do INESC TEC e docente na Universidade do Minho, “a variedade e quantidade de eventos paralelos do FM’19 permitiu estabelecer sinergias entre várias áreas do saber na área das Ciências da Computação, estimulando o cruzamento de resultados científicos e o avanço desta importante ciência dos nossos dias”.

A decorrer em três locais da cidade do Porto – Edifício da Alfândega do Porto, Museu World of Discoveries e Hotel Vincci Porto, o FM’19 alcançou o recorde de 381 artigos científicos submetidos e apresentados por investigadores, académicos e profissionais da indústria nesta área de conhecimento.

O FM’19 foi apoiado financeiramente por empresas como AWS, Google, SONY, Springer, Semmle, ASML, Oracle, Efacec e outras empresas nacionais e internacionais. Ainda em relação à indústria tecnológica, é de destacar a presença de instituições de renome, tais como: Apple, Airbus, Booking.com, ESA, Fraunhofer, Microsoft, MathWorks, NASA, Samsung, VERIMAG, entre outras.

De referir ainda que a organização do FM’19 ficou a cargo do INESC TEC, juntamente com a Universidade do Minho e a associação Formal Methods Europe, que promove a organização deste congresso de 10 em 10 anos.

formal methods

Turing Award marca presença no FM’19

Tony Hoare, vencedor de um Turing Award em 1980, uma distinção na área da Informática geralmente reconhecida como o Prémio Nobel da Computação, esteve presente no FM’19. A palestra deste especialista, de 85 anos, decorreu no dia 8 de outubro no âmbito da conferência UTP 2019 – 7th International Symposium on Unifying Theories of Programming.

“A presença de Tony Hoare, uma das lendas vivas das Ciências da Programação, foi, sem dúvida, um dos pontos altos do congresso, coincidindo com o 50º aniversário de um dos seus mais importantes artigos”, acrescenta José Nuno Oliveira. O artigo científico “An Axiomatic Basis for Computer Programming” foi publicado em outubro de 1969, nas Communications of the ACM e continua a ser um dos mais citados nesta área.

A importância dos Métodos Formais

Os Métodos Formais “são técnicas de programação que atingem elevados níveis de qualidade e fiabilidade através do tratamento matemático dos problemas que podem ser abordados por software. Todos os sistemas militares, de segurança, de energia, de saúde, de ensino, todos os back offices e sistemas operacionais das empresas – enfim, todos os sistemas em que a nossa civilização assenta – dependem de software sofisticado que se desenvolve continuamente para que possam operar e servir-nos. Em problemas de segurança crítica, os erros de programação podem ter consequências devastadoras. É aqui que os Métodos Formais se tornam ferramentas muito importantes. Esta é uma das linhas de investigação do Laboratório de Software Confiável (HASLab) do INESC TEC, que tem uma vasta experiência nesta área, aplicando Métodos Formais em áreas como a segurança, a interface humano-computador, o model checking, o cálculo e verificação de programas e, mais recentemente, a programação quântica”, explica José Nuno Oliveira.

Participação do INESC TEC em destaque

Investigadores do INESC TEC, além da equipa da organização, estiveram envolvidos na apresentação de artigos científicos em vários eventos do congresso mundial, nomeadamente:

 

PPDP 2019

  • An Adequate While-Language for Hybrid Computation
    Sergey Goncharov and Renato Neves

DALI 2019   

  • A dynamic logic for QASM programs (Short paper)
    Carlos Tavares
  • Behavioural and Abstractor Specifications for Dynamic Logic with Binders and Silent Transitions
    Rolf Hennicker, Alexander Knapp and Alexandre Madeira
  • On the construction of multi-valued concurrent dynamic logic (Short paper)
    Leandro Gomes

FMTea 2019   

  • Logic, Algebra, and Geometry at the Foundation of Computer Science (Tutorial)
    Tony Hoare, Alexandra Mendes and João Ferreira
  • Panel Discussion on Teaching Program Development
    Catherine Dubois, Thiago Mendonça Ferreira Ramos, María del Mar Gallardo, Kristin Rozier and Alexandra Mendes

OpenCERT 2019 

  • Open and Interactive Learning Resources for Algorithmic Problem Solving
    João Ferreira and Alexandra Mendes

FMIS 2019     

  • Model-Based Testing of Post-WIMP Interactions Using Petri-nets
    Alexandre Canny, David Navarre, José Creissac Campos and Philippe Palanque
  • Examples of the application of formal methods to interactive systems (Invited Talk)
    Michael Harrison

F-IDE 2019

  • Simulation under arbitrary temporal logic constraints
    Julien Brunel, David Chemouil, Alcino Cunha and Nuno Macedo

FM 2019

  • GOSPEL – Providing OCaml with a Formal Specification Language
    Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço and Mário Pereira

Além disso, Alcino Cunha e Nuno Macedo estiveram na organização do tutorial ALLOY, Luís Soares Barbosa na organização do workshop DALI e José Creissac Campos na organização do workshop FMIS.

No decorrer da semana foram ainda atribuídos nove prémios em diferentes categorias e eventos, entre os quais o Peter Lucas Award, o FME Fellowship Award e o Best Tool Paper Award, atribuídos na FM 2019; o Radhia Cousot Young Researcher Award, distinguido a dois investigadores na SAS 2019; o Best Paper Award e o Test of Time Award, entregues na RV 2019; o Best Presentation Award, atribuído no Doctoral Symposium, e ainda o Best Paper Award, distinguido na LOPSTR 2019.

 

Os investigadores INESC TEC mencionados na notícia têm vínculo à UMinho, Universidade da Beira Interior e Universidade de Aveiro.