Linkedin
Talks@DI | Diogo Poças

Talks@DI | Diogo Poças

Title: Existence and Complexity of Equilibria in Congestion Games Speaker: Diogo Poças (LASIGE, DI-FCUL) Date: October, 27, 14h30 Where: zoom   Abstract: We study the existence of approximate pure Nash equilibria (α-PNE) in weighted atomic congestion games with...
RSS Meetup: Prantik Chatterjee

RSS Meetup: Prantik Chatterjee

Title: Diagnosing Software Faults Using Multiverse Analysis Speaker: Prantik Chatterjee (Indian Institute of Technology, Kanpur, India) When: Friday, October 30th, 15h00 Where: zoom Abstract: Spectrum-based Fault Localization (SFL) approaches aim to efficiently...
LASIGE Welcome Day 2020

LASIGE Welcome Day 2020

October 14, 2020, 16:00-18:300, virtual LASIGE WELCOME DAY. It is designed to welcome new members to the unit, as the 2nd-year MSc students who start their dissertations and also to attract other potential members for LASIGE, as new researchers, publicizing and...
LASIGE A&A Talks | Gerard Weber

LASIGE A&A Talks | Gerard Weber

Lines: Accessibility & Ageing Title: Pedestrians are no Cars Speaker: Gerhard Weber, TU Dresden When: Jan 20, 15h Where: 6.2.53 (FCUL)   Abstract: Navigation and orientation are challenging for people who are blind or have low vision. In this talk Prof....
RSS Meetup: Andreia Mordido

RSS Meetup: Andreia Mordido

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: Parametric Polymorphism in Structural Types...