Programme Committee work by Bart Jacobs

1. PC member of Category Theory in Computer Science 2004.
2. PC member of International Colloquium on Automata, Languages and Programming (ICALP 2004).
3. PC member of Theorem Proving in Higher Order Logics (TPHOLs04, TPHOLs03, TPHOLs02, TPHOLs01, TPHOLs00, and TPHOLs99)
4. PC member of the Workshops on Coalgebraic Methods in Computer Science CMCS'03, CMCS'02, CMCS'01, CMCS'00, CMCS'99 and CMCS'98 at ETAPS.
5. PC member of Algebraic Methods and Software Technology (AMAST2002)
6. PC member of Mathematics of Program Construction (MPC2002)
7. PC member of Category Theory and Computer Science (CTCS2004, CTCS2002)
8. Co-organiser (together with Erik de Vink) of the 2001 IPA Springdays on security (April 18-20, Heeze, the Netherlands).
9. PC member of Logic in Computer Science 2000 (LICS'00.)
10. PC member of Foundations of Software Science and Computation Structures (FOSSACS'01)
11. Co-organiser and PC-chair of FMOODS'02.
12. Co-organiser of the workshops FTfJP'99 and FTfJP'00 on Formal Techniques for Java Programs, at the European Conference on Object-Oriented Programming ECOOP'99 and ECOOP'00 together with Gary T. Leavens (Iowa, USA), Arnd Poetzsch-Heffter (Hagen, Germany), Peter Mueller (Hagen, Germany) and Bart Jacobs.
13. Co-organiser of Precise Modelling and Deduction for Object-oriented Software Development (PMD'01) at IJCAR
14. Guest editor of a special issues of Theoretical Computer Science, containing a selection of the papers from CMCS'98 (TCS volume 260, issue 1-2). Similarly for CMCS'99 (TCS volume 280, issue 1-2).