When I have been (will be) away...

2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
  • Domains IX (contributed talk) Brighton, UK (Sep 22 - 24)
    [talk] On variants of modified bar recursion
  • Colloquium Logicum, Darmstadt, Germany (Sep 10 - 12)
  • Meeting on "Mathematische Logik" (invited tutorial) (pic), Oberwolfach, Germany (Apr 7 - 11)
    [talk] Dialectica interpretation in the light of linear logic
  • Visiting GKLI, Munich, Germany (Jan 21 - 25)
    [talk] On variants of modified bar recursion
2007
2006 2005 2004
2003
2002
2001 and before...