Talks

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.

back to homepage