Publications Events Teaching



December 13 2010, Modal Logic and Stone Duality, (organizer).
July 7-11 2009, Topology, Algebra and Categories in Logic 2009, (local organizing committee).
March 25-27, 2008, Modal Fixpoint Logics 2008, (local organizing committee).


July 28, 2011, Topology, Algebra, and Categories in Logic, Marseilles. 'Two questions about canonical extensions'.
May 20, 2011, Theory Group Mathematical Lunch, University of Birmingham. 'Presenting the Vietoris powerlocale using coalgebraic logic'.
December 13, 2010, Modal Logic and Stone Duality, Universiteit van Amsterdam. 'Canonical extensions and their mathematical surroundings'.
November 27, 2010, 91st Peripatetic Seminar on Sheaves and Logic, Universiteit van Amsterdam. 'Coalgebraic modal logic and the Vietoris powerlocale'.
June 15, 2010, Groupe de travail Sémantique, Université Paris Diderot-Paris 7. 'Powerlocales via relation lifting'.
May 28, 2010, Mathematical Logic in the Netherlands 2010, Universiteit Utrecht. 'Applying coalgebraic modal logic in point-free topology'.
March 3, 2010, Coalgebra Day 2010, Universiteit van Amsterdam. 'Geometric coalgebraic modal logic and formal topology'.
January 25, 2010, The Dutch-British workshop on Algebra & Coalgebra meet Proof Theory, Imperial College London. 'Geometric coalgebraic modal logic and formal topology'.
December 9, 2009, Coalgebraic Logics, Schloss Dagstuhl, Leibniz-Zentrum für Informatik. 'The Vietoris Construction From the Perspective of (co-) algebraic Modal Logic'.
May 25, 2009, Mathematical Logic in the Netherlands 2009, Radboud Universiteit Nijmegen. 'Dualities for topological modal algebras'.
September 9, 2008, Advances in Modal Logic 2008, LORIA, Nancy, France. 'Compact Hausdorff modal algebras are image-finite Kripke frames'.
August 9, 2008, BLAST, University of Denver, Denver CO, USA. 'Dualities for topological modal algebras'.
June 23, 2008, Algebra and Logic Seminar, Radboud Universiteit Nijmegen. 'Representation of topological modal algebras'.
January 10, 2008, Analytic Topology in Mathematics and Computer Science Seminar, University of Oxford, UK. 'Profinite completion and MacNeille completion can coincide on modal algebras'.
December 7, 2007, AiO-Seminar Mathematics, Universiteit van Amsterdam. 'The Stone representation theorem and the Stone-Cech compactification of discrete spaces are two sides of the same coin'.
June 16, 2007, International Conference on Order, Algebra and Logics, Vanderbilt University, Nashville TN, USA. 'Connecting the Profinite Completion, the Canonical Extension and the MacNeille Completion'.