Talks@LASIGE | Ankush Das

Title: Resource-Aware Session Types for Digital Contracts Speaker: Ankush Das (Carnegie Mellon University) When: Friday, November 20th, 15h00 Where: https://videoconf-colibri.zoom.us/j/83616661242 Abstract: While there exist several successful techniques for...

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

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

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

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