Talks

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