Linkedin
Talks @ LASIGE: Bernardo Malaca

Talks @ LASIGE: Bernardo Malaca

Title: Optimizing Research on Portugal’s Supercomputing Infrastructure: A Practical Guide Speaker: Bernardo Malaca (CNCA) Date: March 16, 2026, 12h Where: C6.3.27 Invited by: Vinicius Cogo (coffee break included) Abstract: As computational demands in research...
LASIGE TALKS: Alysson Bessani and Hugo Figueiras

LASIGE TALKS: Alysson Bessani and Hugo Figueiras

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

LASIGE Project Proposal Pitch to Peers

“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...
Safer Software with Liquid Types

Safer Software with Liquid Types

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 presents a safer programming language at ETH

Alcides Fonseca presents a safer programming language at ETH

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,...