Cátia Pesquita, LASIGE’s integrated member, was invited to give her opinion about the use and advances of Artificial Intelligence (AI), following the global pact to manage digital technologies proposed by the United Nations (UN) Secretary-General António...
Francisco Couto, LASIGE’s integrated member, was Chair of the session “Information technology and artificial intelligence applied to sustainability” at the 3rd edition of the INternational CongRess on Engineering and Sustainability in the XXI cEntury...
LASIGE participated in the annual science meeting organized by Fundação para a Ciência e Tecnologia (FCT), the Foundation that supports Science and Technology in Portugal, held in Aveiro, Portugal, on July 5-7, 2023, and some of our students could present their...
LASIGE’s MSc student Gil Silva is the first author of the paper “Subtyping Context-Free Session Types ”, accepted for presentation at CONCUR 2023: International Conference on Concurrency Theory, a CORE A ranked conference. The event will take place in Antwerp,...
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...
