Conferences

LICS 2025. Programme Committee Chair.
MFPS 2025. Programme Committee member.
LICS 2024. Programme Committee member.
MFPS 2024. Programme Committee member.
FOSSACS 2023. Programme Committee member.
ICFP 2022. Programme Committee member.
Types 2022. Programme Committee member.
OOPSLA 2022. Programme Committee member.
CPP 2022. Programme Committee member.
NWPT 2021. Programme Committee member.
POPL 2020. Programme Committee Chair.
LICS 2019. Programme Committee member.
ESOP 2019. Programme Committee member.
PRISC 2019. Programme Committee member.
ICFP 2018. External Review Committee member.
FSCD 2018. Program Committee member.
Computer Science Logic 2018. Program Committee member.
Principles of Secure Compilation 2018. Program Committee member.
POPL 2018. Program Committee member.
MFCS 2017. Program Committee member.
CSL 2017. Program Committee member.
FSCD 2017. Program Committee member.
POPL 2017. Extended Review Committee member.
ICFP 2016 Extended Review Committee member.
MFPS 2016. Program Committee Chair.
ITP 2016. Program Committee member.
LICS 2016. Program Committee member.
MFCS 2015. Program Committee member.
ITP 2015. Program Committee member.
ICALP 2015. Program Committee member.
ESOP 2015. Program Committee member.
POPL 2015. Extended Review Committee member.
Scandinavian Logic Symposium 2014. Program Committee member.
TCS 2014. Program Committee member.
Types 2014. Program Committee member.
CSL-LICS 2014. Program Committee member.
FLOPS 2014. Program Committee member.
ISDT (International Symposium on Domain Theory) 2014. Program Committee member.
POPL 2014. Program Committee member.
MFPS 2013. Programme committee member.
CALCO 2013. Program Committee member.
TLCA 2013. Program Committee member.
WoDet (Workshop on Determinism and Correctness in Parallel Programming) 2013. Program Committee member.
Member of ETAPS steering committee (2010-2013).
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)