RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Automata Learning for Computer Networks Speakers:...
Title:Bipartite Matching is in Catalytic Logspace Speaker: Ian Mertz (Charles University, Prague) Invited by: Bruno Loff (LASIGE, DM/FCUL) When: January 21, 2026, 14:00-16:00 Where: FCUL, C6.2.33 Abstract: Matching is a central problem in theoretical computer science,...
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: Sara Silva and Vasco T....
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: Catarina Gamboa and Susana Nunes...
January 14th is the World Logic Day! Celebrated around the globe with a wide range of activities, the date was officially adopted by UNESCO in 2019 to honor the legacy of two towering figures of the 20th century: Kurt Gödel and Alfred Tarski. LASIGE is deeply involved...
LASIGE researchers Wellington Oliveira, José Cecílio, and Alan Oliveira have successfully obtained funding for their initiative, MOSA. This project was chosen for funding through the FCT’s PEX exploratory call. MOSA (Mobile Optimization on Security through Algorithmic...
