RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics. Title: Soft Error Sensitivity and Vulnerability of...
Mário Florido, professor at Faculdade de Ciências da Universidade do Porto, is giving a talk at LASIGE on the relation between gradual typing and intersection types. The talk will take place on room C6.2.38, on the 27th of September, at 14h. This talk is sponsored by...
LASIGE Welcome Day is an event that introduces new members to the research centre and how LASIGE works. The event also intends to improve the team spirit of new and existing members. The event has the following agenda: 16h00 Welcome to LASIGE (Vasco Vasconcelos)...
RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics. Title: Safe(Rest)Script Presenter: Nuno Burnay O consumo de...
Privacy-Preserving Alignment based on Filtering Maria Fernandes, SnT – Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg When: Wednesday, 24th July, 15h00-16h00 Where: C6.3.38 Abstract: The human genome is sensitive...
