Talks
20240405 
Twodimensional Kripke Semantics
Invited talk at the British Colloquium for Theoretical Computer Science

20240301 
Twodimensional Kripke Semantics
Invited talk at OASIS (Oxford Advanced Seminar on Informatic Structures)

20240223 
Twodimensional Kripke Semantics
Invited talk at the University of Birmingham Theoretical Computer Science seminar

20231026 
Functional Logic Programming and Algebraic Effects
Invited talk at the Logsem Seminar, Department of Computer Science, Aarhus University

20221228 
Linear Logic and the Semantics of Concurrent Computation
Talk at the Athens Programming Languages Seminar

20221118 
Linear Logic and the Semantics of Concurrent Computation
Invited seminar at the Department of Computer Science and Technology, University of Cambridge.

20220706 
Type Theory and Homotopy
Invited tutorial at the 13th Panhellenic Logic Symposium

20220614 
Concurrent Classical Effects
Invited talk at the New Ideas in Effects, Types, and Sharing workshop at the University of Bath

20210623 
ClientServer Sessions in Linear Logic
Invited seminar at LIX, École Polytechnique

20210416 
Modalities, Cohesion, and Information Flow
Invited seminar at the Programming, Logic and Semantics group, IT University of Copenhagen

20211208 
ClientServer Sessions in Linear Logic
Invited talk at the Mathematical Foundations Seminar, University of Bath

20200511 
How to define things by recursion
Logsem seminar, Department of Computer Science, Aarhus University

20191227 
Recurrence Extraction for Functional Programs
Talk at the Athens Programming Languages Seminar

20191017 
Modalities, Cohesion, and Information Flow
Invited seminar at RIMS, Kyoto

20190109 
CurryHoward for Modal Logic
Invited seminar at the Computation and Reasoning Laboratory, National Technical University of Athens

20181203 
Modalities, Cohesion, and Information Flow
Invited talk at the MIT Categories Seminar

20181130 
Modalities, Cohesion, and Information Flow
Invited seminar at the Department of Computer Science, Tulane University

20181030 
CurryHoward for Modal Logic
Invited seminar at the Graduate Center, City University of New York

20171016 
On the Semantics of Intensionality
Invited seminar at the Computation and Reasoning Laboratory, National Technical University of Athens

20170215 
On the Semantics of Intensional Recursion
Invited seminar at the Foundations of Software Systems group, University of Sussex
