LASIGE researcher Rúben Gouveia has successfully obtained funding for his AmbiAccess project, through the FCT’s PEX exploratory call. Health tracking through smartphones and wearables is increasingly common, but much of it still assumes visual interaction –...
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 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....
