LASIGE Talks are fortnightly/monthly events to publicize recently distinguished publications or ongoing cutting-edge work by researchers from the research centre, consolidating the scientific culture of the LASIGE community. Speakers: Alysson Bessani and Hugo...
“LASIGE Project Proposal Pitch to Peers”, specially designed for Early Career Researchers, by the LASIGE’s Executive Commission, was held on February 11, 2026. Researchers who want to submit projects present their ideas and discuss opportunities and challenges with...
Alcides Fonseca, LASIGE integrated member, gave a talk entitled “Safer Software with Liquid Types”, on 4 February 2026, at Department of Computer Engineering (DEI) at the Faculty of Engineering of Oporto. The presentation was structured as follows: “In a world where...
Alcides Fonseca, LASIGE integrated member, visited, on 13 February 2026, the Programming Methodology Group at ETH Zürich to present aeon, a programming language that uses liquid types, which prevent programmers from making a wide range of errors. In his presentation,...