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...
The paper “Investigating the Tradeoffs of Everyday Text-Entry Collection Methods”, co-authored by LASIGE’s André Rodrigues and Tiago Guerreiro (both integrated researchers), André Santos (engineer) and Diogo Branco (PhD student) has been published as part of the...
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...
“Perspectives on artificial intelligence in healthcare” was the talk given by Luís Correia, LASIGE’s integrated member, at the II Egas Moniz Scientific Conferences University and Polytechnic (in Portuguese II Jornadas Científicas Universitárias e...
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...
