Talks
| 2024-04-05 |
Two-dimensional Kripke Semantics
Invited talk at the British Colloquium for Theoretical Computer Science
|
| 2024-03-01 |
Two-dimensional Kripke Semantics
Invited talk at OASIS (Oxford Advanced Seminar on Informatic Structures)
|
| 2024-02-23 |
Two-dimensional Kripke Semantics
Invited talk at the University of Birmingham Theoretical Computer Science seminar
|
| 2023-10-26 |
Functional Logic Programming and Algebraic Effects
Invited talk at the Logsem Seminar, Department of Computer Science, Aarhus University
|
| 2022-12-28 |
Linear Logic and the Semantics of Concurrent Computation
Talk at the Athens Programming Languages Seminar
|
| 2022-11-18 |
Linear Logic and the Semantics of Concurrent Computation
Invited seminar at the Department of Computer Science and Technology, University of Cambridge.
|
| 2022-07-06 |
Type Theory and Homotopy
Invited tutorial at the 13th Panhellenic Logic Symposium
|
| 2022-06-14 |
Concurrent Classical Effects
Invited talk at the New Ideas in Effects, Types, and Sharing workshop at the University of Bath
|
| 2021-06-23 |
Client-Server Sessions in Linear Logic
Invited seminar at LIX, École Polytechnique
|
| 2021-04-16 |
Modalities, Cohesion, and Information Flow
Invited seminar at the Programming, Logic and Semantics group, IT University of Copenhagen
|
| 2021-12-08 |
Client-Server Sessions in Linear Logic
Invited talk at the Mathematical Foundations Seminar, University of Bath
|
| 2020-05-11 |
How to define things by recursion
Logsem seminar, Department of Computer Science, Aarhus University
|
| 2019-12-27 |
Recurrence Extraction for Functional Programs
Talk at the Athens Programming Languages Seminar
|
| 2019-10-17 |
Modalities, Cohesion, and Information Flow
Invited seminar at RIMS, Kyoto
|
| 2019-01-09 |
Curry-Howard for Modal Logic
Invited seminar at the Computation and Reasoning Laboratory, National Technical University of Athens
|
| 2018-12-03 |
Modalities, Cohesion, and Information Flow
Invited talk at the MIT Categories Seminar
|
| 2018-11-30 |
Modalities, Cohesion, and Information Flow
Invited seminar at the Department of Computer Science, Tulane University
|
| 2018-10-30 |
Curry-Howard for Modal Logic
Invited seminar at the Graduate Center, City University of New York
|
| 2017-10-16 |
On the Semantics of Intensionality
Invited seminar at the Computation and Reasoning Laboratory, National Technical University of Athens
|
| 2017-02-15 |
On the Semantics of Intensional Recursion
Invited seminar at the Foundations of Software Systems group, University of Sussex
|