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. |