Professional responsibilities

2006	Logic in Computer Science (LICS)
2004, 2005, 2007, 2008	Theorem Proving in Higher Order Logics (TPHOLs)
2006	International Joint Conference on Automated Reasoning (IJCAR)
2005	International Conference on Functional Programming (ICFP),
2005, 2006	Workshop on Distributed Shared Memory (DSM),
2005	International Conference on Control Systems and Computer Science (CSCS),
2004, 2005	Formal Methods and Models for Codesign (MEMOCODE),
2007	Workshop on Tools, Operating Systems and Programming Models for Developing Reliable Systems (TOPMoDelS),