Linkedin
LASIGE at the Imperial College

LASIGE at the Imperial College

Diogo Poças, LASIGE’s integrated member, gave a talk “The Different Shades of Infinite Session Types”, promoted by the Mobility Reading Group (MRG) meeting, π-calculus, Session Types research, at Imperial College, on May 12, 2022. This talk was about...
LASIGE @ Jobshop Ciências 2022

LASIGE @ Jobshop Ciências 2022

LASIGE participated, once again, on Ciências ULisboa job fair, Jobshop Ciências 2022. The event aims to be a privileged forum for bringing students and graduates of Ciências ULisboa closer to the labour market. The Faculty is part of the largest and most competitive...
ADMORPH project meets at Lisbon

ADMORPH project meets at Lisbon

The consortium meeting of the ADMORPH project (EU H2020) took place at the Faculty of Sciences of the University of Lisbon, in Portugal, from the 11th to the 13th of May, 2022. António Casimiro, LASIGE’s integrated member and PI of the LASIGE team, and the other...
LASIGE sponsor MLBEM 2022

LASIGE sponsor MLBEM 2022

SATO and SMART2B projects, led in LASIGE by Pedro Ferreira (integrated member), are sponsoring the 2nd workshop on Machine Learning Building Energy Management (MLBEM), co-located with the European Conference on Machine Learning and Principles and Practice of Knowledge...
PhD in Informatics Seminar #6 2021/2022 | DI Ciências ULisboa

PhD in Informatics Seminar #6 2021/2022 | DI Ciências ULisboa

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 Meetup: Nuno Lourenço

RSS Meetup: Nuno Lourenço

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