LASIGE celebrated its 25th anniversary, on July 5, 2023, and it was time to meet four of its founders again: Paulo Veríssimo, Nuno Guimarães, Luís Rodrigues, Mário Silva. It discussed, conducted by Alysson Bessani, the founders’ experience during and after...
Algebraic protocols allow programmers to describe protocols in concurrent programs the way they would write datatypes in conventional programming languages. LASIGE researchers Andreia Mordido and Vasco T. Vasconcelos are part of the international team whose work on...
Filipa Rocha, LASIGE PhD Student and researcher, was awarded 2nd prize of the Young Inventors Award that the European Patent Office, edition 2023, at the live broadcast ceremony, which was held in Valencia, Spain, on July 4, 2023. This prize recognizes initiatives...
LASIGE participated in the 3rd edition of the roadshow EA-IDEIA – Estrutura de Acompanhamento da Investigação, Desenvolvimento, Experimentação e Inovação da Armada. The Executive Council for Innovation and Entrepreneurship of ULisboa Sciences, with the mission...
Andreia Mordido, an integrated member at LASIGE, was an invited speaker at the second “Workshop on Verification of Session Types” (VEST’21) where she presented the talk “Beyond regular session types”. Session types enable to express interaction protocols in...
Andreia Mordido, an integrated member at LASIGE, was an invited speaker at the second “Workshop on Verification of Session Types” (VEST’21) where she presented the talk “Beyond regular session types”. Session types enable to express interaction protocols in...
