Linkedin
LASIGE Welcome Day 2019

LASIGE Welcome Day 2019

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 Meetup: Nuno Burnay

RSS Meetup: Nuno Burnay

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...
HBI Meetup – Maria Fernandes (July 2019)

HBI Meetup – Maria Fernandes (July 2019)

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...
RSS Meetup: Andreia Mordido

RSS Meetup: Andreia Mordido

Context-free session types and an algorithm to decide type equivalence When: Thursday, July 18th, 16h Where: C6.3.38   Andreia Mordido Andreia Mordido is an Invited Assistant Professor at the Department of Informatics of the Faculty of Sciences, University of...
Talks@DI | LASIGE: Rüdiger Kapitza

Talks@DI | LASIGE: Rüdiger Kapitza

Speaker: Rüdiger Kapitza, professor at Technische Universität Braunschweig Title: On the impact of trusted execution on distributed systems When: May 22, 15h Where: Room C6.2.38 This talk is sponsored by LASIGE (http://www.lasige.di.fc.ul.pt), under the...