talks
The various talks I have given since 2023.
| Sep 09, 2024 | Higher-order Mathematical Operational Semantics, Aarhus University (Slides) |
|---|---|
| May 23, 2024 | Logical Relations (and more) in Higher-order Mathematical Operational Semantics Invited talk, Chocola Meeting, Lyon (Slides) |
| Apr 10, 2024 | Logical Predicates in Higher-order Mathematical Operational Semantics FoSSaCS’24, Luxembourg City (Slides) |
| Apr 04, 2024 | Logical Predicates in Higher-order Mathematical Operational Semanticss WG6 Leuven (Abstract - Slides - Video) |
| Jan 20, 2023 | Towards a Higher-Order Mathematical Operational Semantics POPL’23, Boston (Video) |