Speakers: Zygimantas Jasiunas and Tiago Carvalho, LASIGE – DI/FCUL When: May 19, 14h00 Where: C6.3.27 Talk 1: Exploratory Work of Appliance Monitoring for an Early Fault Detection to Reduce e-Waste Abstract: As the global economy grows with a rapid pace, global...
Title: Discovering, Exploiting and Fixing Web Vulnerabilities at an Intermediate Language Level Speaker: Paulo Antunes, LASIGE/DI-FCUL Date: May 12, 12h Where: Room 6.3.27 Abstract: Web applications provide essential services to millions of users on a daily basis....
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: Grammars and Evolution: From a Structured to a...
MRG meeting: Mobility Reading Group (MRG), π-calculus, Session Types research at Imperial College Title: The Different Shades of Infinite Session Types Speaker: Diogo Poças, LASIGE – DI/FCUL When: Thursday, May 12, 3 PM (UK time) Where: zoom Abstract:Many type...
Speakers: Allan Espindola and Samaneh Shafee, LASIGE – DI/FCUL When: May 5, 14h00 Where: C6.3.27 Talk 1: Diversity in Network Intrusion Detection Systems for Mitigating Adversarial Attacks Abstract: Mission-critical Cyber-Physical Systems (MC-CPSs) such as...
