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...
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...
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...
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: (Almost) all there is to know about quantum...
