2015

• 27 februari 2015
  Heyting Day 2015
  «Belle van Zuylenzaal» of Utrecht University Academy Hall, Domplein 29, Utrecht

2013

• 6 September 2013
  Meeting on Kripke Models and of the Categorical Foundations of intuitionistic
  logic
  Doelenzaal, Universiteitsbibliotheek, Universiteit van Amsterdam

2012

• 7 September 2012
  Intuitionism in 2012
  Universiteit van Amsterdam, Oostindisch Huis, VOC-zaal