Title: Safe resource-aware virtual machines for IoT devices Speaker: Carlos Mão de Ferro (LASIGE, DI-FCUL) When: Wednesday, March 10th, 17h45 Short Summary: In this talk he will briefly introduce the topic of programming embedded systems for IoT, mainly focusing on...
Title: AI going places Speaker: Luís Correia (LASIGE, DI-FCUL) When: Tuesday, March 10, 17h00 Where: https://videoconf-colibri.zoom.us/j/86109989605 Abstract: Artificial intelligence (AI) has been pervading different domains of activity with a recent burst resulting...
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....
