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...
Next Tuesday, February 12th, LASIGE is hosting it's 4th annual workshop, featuring a variety of activities. Two keynotes headline the event: University College London's Alexandra Silva will talk about Coalgebraic Learning for Automated Modelling, and...
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: JaVerT 2.0: Compositional Symbolic Execution for...
