Title: Identifying Web Vulnerabilities in PHP Through Deep Learning Speaker: Maria Fidalgo (LASIGE, DI-FCUL) When: Wednesday, March 3rd, 18h00h Where: zoom https://videoconf-colibri.zoom.us/j/88091226002 Bio: After finishing the Master’s in Data Science, where...
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: The Different Shades of Infinite Session Types....
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: The Different Shades of Infinite Session Types....
Date: February 13, 2021, 05:30PM (CET) Title: Democratizing Data-driven Healthcare Presenter: Tiago Guerreiro Where: Online Streaming About: The purpose of BIOSTEC is to bring together researchers and practitioners, including engineers, biologists, health...
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: Cameleer: a Deductive Verification Tool for...
