| 2023 | |
| 02 Jul | Modal unification step by step (slides), UNIF 2023 (International Workshop on Unification), Rome, with Sam van Gool. |
| 2022 | |
| 04 Aug | Size measures and alphabetic equivalence in the mu-calculus, LICS 2022, Haifa, Israel. |
| 13 Apr | A focus-style proof systems for the alternation-free mu-calculus, LLAMA seminar, ILLC, University of Amsterdam. |
| 2021 | |
| 21 Dec | Comparative similarity and natural properties, Research Forum, Department of Philosophy, University of Bayreuth, Germany. |
| 07 Sep | A focus system for the alternation-free mu-calculus, TABLEAUX 2021, online. |
| 2020 | |
| 26 Aug | Conditional logic is complete for convexity in the plane, Advances in Modal Logic 2020, online. |
| 01 Apr | Unification in coalgebraic modal logics, Algebra|Coalgebra Seminar, ILLC, University of Amsterdam. |
| 20 Feb | Unification in coalgebraic modal logics, Bern Logic Seminar, University of Bern. |
| 2019 | |
| 20 Nov | Size matters in the modal mu-calculus, Circularity in Syntax and Semantics, Göteborg, Sweden. |
| 2018 | |
| 25 Jul | Inquisitive semantics for computer programs, Inquisitive Logic Workshop, ILLC, University of Amsterdam. |
| 31 May | Choice Structures, Reasoning in Social Context, Royal Netherlands Academy of Arts and Sciences, Amsterdam, with Paolo Galeazzi. |
| 2017 | |
| 23 Sep | Parity Games and Automata for Game Logic, DaLí - Dynamic Logic: New Trends and Applications, University of Brasília, Brazil. |
| 2016 | |
| 8 Sep | Duality for Non-monotonic Consequence Relations and Antimatroids, BLC 2016 (British Logic Colloquium), University of Edinburgh. |
| 24 Mar | Duality for Non-monotonic Consequence Relations and Antimatroids, Mini-Workshop on Non-Classical Logics, University of Bern. |
| 2015 | |
| 02 Dec | Duality for Non-monotonic Consequence Relations and Antimatroids, Algebra|Coalgebra Seminar, ILLC, University of Amsterdam, with Riccardo Pinosio. |
| 24 Sep | Game Semantics for System P, TbiLLC 2015 (Tbilisi Symposium on Language, Logic and Computation), Tbilisi, Georgia, with Riccardo Pinosio. |
| 25 Jun | Duality for Non-monotonic Consequence Relations and Antimatroids, TACL 2015 (Topology, Algebra, and Categories in Logic), Ischia, Italy, with Riccardo Pinosio. |
| 2014 | |
| 14 Nov | Inferring Belief Models From Linguistic Behavior, LIRa Seminar, ILLC, University of Amsterdam. |
| 01 Oct | The Four Dimensions of Two-Dimensionalism, PLM Workshop on Indexicality in Language and Thought, Donostia (San Sebastián), Spain. |
| 26 Sep | Similarity Orders from Causal Equations, JELIA 2014 (European Conference on Logics in Artificial Intelligence), Madeira, Portugal, with Riccardo Pinosio. |
| 15 Jul | Game Semantics for Conditional Logic, VSL2014 Workshop on Logic and Games, Vienna, with Riccardo Pinosio. |
| 17 Jun | Conditional Logic as Non-Monotonic Reasoning, Applied Logic Seminar, TU Delft, with Riccardo Pinosio. |
| 08 May | Coalgebras for a Terminal Sequence, PhD Seminar, Department of Computer Science, University of Leicester, England. |
| 17 Apr | Premise Semantics for Conditional Logic, LIRa Seminar, ILLC, University of Amsterdam, with Riccardo Pinosio. |
| 2013 | |
| 30 Oct | Terminal Sequences and Their Coalgebras, Algebra|Coalgebra Seminar, ILLC, University of Amsterdam. |
| 13 Sep | Two-Dimensionalism and Interpretation, SOPhiA 2013 (Salzburg Conference for Young Analytic Philosophy), Salzburg, Austria. |
| 21 Jun | Topological Semantics for Conditionals, LOGICA 2013, Hejnice, Czech Republic, with Riccardo Pinosio. |
| 20 Apr | Two-Dimensionalism and Interpretation, GCTP 2013 (Graduate Conference in Theoretical Philosophy), Groningen. |
| 09 Apr | The Logic of Metasemantic Two-Dimensionalism, PhDs in Logic V, Munich. |
| 2012 | |
| 19 Jun | Semantic Facts on Kripke Frames, LOGICA 2012, Hejnice, Czech Republic. |
| 01 Apr | Lax Extensions of Coalgebra Functors, CMCS 2012 (workshop on Coalgebraic Methods in Computer Science), Tallinn, Estonia. |
| 2011 | |
| 20 Jun | Adding Semantic Facts to Kripke Models, Logic Tea, ILLC, University of Amsterdam. |
| 20 May | Relation Liftings in Coalgebraic Modal Logic, MLNL 2011 (Mathematical Logic in the Netherlands), Groningen. |
| 04 Apr | Relation Liftings in Coalgebraic Modal Logic, Logic Tea, ILLC, University of Amsterdam. |
| 28 Mar | Bisimulations for Neighborhood Frames, CSC, University of Luxembourg. |