Talks @ DI | João Guerreiro

Title: Supporting Independent Navigation of Blind People Speaker: João Guerreiro (LASIGE, DI-FCUL) When: December 9th, 14h30 Where:  https://videoconf-colibri.zoom.us/j/83276740808   Abstract: Independent navigation is very challenging for blind people often due...

Talks @ LASIGE | Massimo Bartoletti

Title: Bitcoin contracts: secure compilation, analysis, and expressiveness Speaker: Massimo Bartoletti (University of Cagliari) When: Friday, December 4, 15h00 Where: https://videoconf-colibri.zoom.us/j/87813531872 Abstract: Although Bitcoin is mainly used to exchange...

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