# Events

### Organization

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

⋅

### Presentations

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

⋅

July 9, 2009,
Topology, Algebra and Categories in Logic 2009,
Universiteit van Amsterdam.
Broadening the topological perspective on canonical extension.

⋅

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

⋅

August 8, 2007,
Algebraic and Topological Methods in Non-Classical Logics III,
University of Oxford, UK.
Comparing the profinite completion and MacNeille completion of a modal algebra.

⋅

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

⋅