Program Committee Membership

• International Conference on Concurrency Theory (CONCUR), Stony Brook, New York, USA, 1992.
• Logic Programming and Nonmonotonic Reasoning 1997 (LPNMR97), Dagstuhl, Germany, 1997.
• International Logic Programming Symposium 1997.
• 4th workshop on Expressiveness in Concurrency, 1997.
• International Conference on Principles and Practice of Declarative Programming, 2000.
• Workshop on Models for Time-Critical Systems (CONCUR 2000).
• International Conference on Concurrency Theory (CONCUR), Aalborg, Denmark, 2001.
• Workshop on Models for Time-Critical Systems (CONCUR 2001), Aalborg, Denmark, 2001.
• Workshop on Quantitative Aspects of Programming Laguages, September 3 - 7, Firenze, Italy, 2001 - Satellite to Principles, Logics, and Implementations of high-level programming languages, PLI'01.
• Third Workshop on Models for Time-Critical Systems (MTCS 2002), Co-Located with CONCUR 2002, Brno, Czech Republic, August 24, 2002.
• IFIP Conference on Theoretical Computer Science (TCS 2002), Montreal, Canada, 2002.
• FTRTFT (7th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems) Conference September 9-12, 2002 in Oldenburg, Germany.
• AAMAS 2003 (second International Joint Conference on Autonomous Agents and Multi-Agent Systems), Melbourne, Australia.
• ICALP 2003 workshop on Security Issues in Coordination Models, Languages and Systems (SecCO).
• ICALP 2003 workshop on Logic and Communication in Multi-Agent Systems (LCMAS).
• Second Workshop on Quantitative Aspects of Programming Languages, Barcelona, Spain, 27-28 March 2004 - Satellite Event of ETAPS 2004.
• Second IEEE International Conference on Software Engineering and Formal Methods, Beijing, China, 2004.
• Third IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, 2005.
• Third Workshop on Quantitative Aspects of Programming Languages, 2-3 April 2005, Edinburgh, Scotland.
• Workshop on Coordination and Organization, satelite event of Coordination 2005.
• Workshop on Foundations of Interface Technologies, satelite event of Concur 2005.

Furthermore I am member of

• The Dutch research schools IPA (Institute for Programming research and Algorithmics) and SIKS (School voor Informatie- en KennisSystemen).
• The IFIP Working Group 2.2 Formal Description of Programming Concepts.