Conferences

Member of ETAPS steering committee (2010-).
CALCO 2013. Program Committee member.
TLCA 2013. Program Committee member.
POPL 2013. Extended Review Committee member.
MFCS 2012. Program Committee member.
ICFP 2012. Program Committee member.
FOSSACS 2012. Program Committee Chair.
Lola 2011. Program Committee co-chair.
MFPS 2011. Program Committee member.
CALCO 2011. Program Committee member.
Dagstuhl Seminar on Modelling, Controlling, and Reasoning about State. Co-Organizer.
Lola 2010. Program Committee member.
CSL 2010. Program Committee member.
ICALP 2010. Program Committee member.
ESOP 2010. Program Committee member.
6th Workshop on Methods for Modalities (M4M-6) 2009. Program Committee member.
ICFP 2009. Program Committee member.
MFPS 2008. Program Committee member.
FOSSACS 2008. Program Committee member.
Fall Ph.D. School on Logics and Semantics of State. Organizer.
POPL 2008. Program Committee member.
APLAS 2007. Program Committee member.
ML Workshop 2007. Program Committee member.
WOLLIC 2007. Program Committee member.
ICALP 2006. Program Committee member.
Mathematical Foundations of Programming Semantics 2005. Program Committee member.
Category Theory in Computer Science 2004. Program Committee Chair.
Workshop on Domain Theory in Honour of Dana S. Scott's 70th birthday. July 20-21, 2002, Copenhagen, Denmark. (Organizing and Program Committee)
The 2002 Federated Logic Conference. Copenhagen, Denmark. (Organizing Committee).
Preliminary Call for Papers is available here in pdf and in postscript.
Mathematical Foundations of Programming Semantics. 2001, Aarhus, Denmark. (Program Committee)
Workshop on Realizability Semantics and Applications. 1999. Trento, Italy. (Organizing Committee and Program Committee)