LASIGE TALKS: Matilde Pato and Nuno Rodrigues

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: Matilde Pato and Nuno Rodrigues...

LASIGE FCT PTDC/PEx Project Proposal – Pitch to Peers Session

*************************************************************************************** What: LASIGE FCT PTDC/PEx Project Proposal – Pitch to Peers Session Who: PIs, team members, other researchers When: February 11, 15:30 Where: 6.3.27 Send topics until...

RSS meetup: Miguel Gamboa

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: Type-Safe, Hypermedia-First DSL for Backend-Driven...

RSS meetup: Tiago Ferreira

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

Theory of Computing Seminars: Ian Mertz

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