This page is a bit out of date.
Member of Programme Committee for CiE 2013.
Member of Programme Committee for LCC 2012.
Member of Programme Committee for CSL 2012.
Member of Programme Committee for DCM 2012.
Member of the Editorial Board of the new journal Computability. The Journal of the Association CiE.
Co-organiser of the Newton Institute programme on Semantics and Syntax: A Legacy of Alan Turing.
Co-chair of workshop Logical Approaches to Barriers in Complexity II which is part of the Newton Institute programme on Semantics and Syntax: A Legacy of Alan Turing.
Member of Turing Centenary Advisory Committee coordinating THE ALAN TURING YEAR.
Member of Programme Committee and Organising Committee for CiE 2012.
Member of Programme Committee for LCC 2011.
Member of Programme Committee for CiE 2011.
Member of Programme Committee for CiE 2010.
PC chair of a Workshop on Logical Approaches to Barriers in Computing and Complexity.
Member of Organising Committee for SAT 2009.
Member of Organising Committee for BLC 2009.
Member of Programme Committee for LCC 2009.
Member of Programme Committee for CiE 2009.
Member of Editorial Board of Archive for Mathematical Logic.
Member of board of Deutsche Vereinigung f¸r Mathematische Logik und f¸r Grundlagen der Exakten Wissenschaften.
Co-organiser of Workshop on Logic, Foundational Research, and Metamathematics (WoLFRaM) II.
in Athens, involved in local organisation of CiE 2008.
Member of CiE steering group which runs CiE conference series.
Member of Programme Committee of CiE 2007.
Member of Organising Committee of PCC 2007.
Co-organiser (together with Mirna Dzamonja) of logic splinter group at BMC 2007.
Co-chair of Programme Committee of CiE 2006. Chair of local organising committee for this conference.