Talks

2017
23 Sep Parity Games and Automata for Game Logic, DaLí - Dynamic Logic: new trends and applications, University of Brasília
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