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

LASIGE @ Encontro Ciência’ 20

Last week, November 3-4, 2020, LASIGE participated at the annual science meeting organized by Fundação para a Ciência e Tecnologia (FCT), the Foundation that supports Science and Technology in Portugal. Some of our researchers submitted their communications and were...

SEEDS

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

SATO