Programme Committee work by Bart Jacobs

  1. PC member of Workshop on Security and Privacy in Cloud Computing (SPCC'10), Brussels.
  2. PC member of IFIP WG 11.6 working conference on Policies & Research in Identity Management (IDMAN10, IDMAN07).
  3. PC member of International Conference on E-voting and Identity Vote-Id 2009.
  4. PC member for the workshop on Biometrics and Electronic Signatures BIOSIG 2009.
  5. PC member of Conference on Algebra and Coalgebra in Computer Science Calco 2009, Calco 2007.
  6. PC member of Tilting perspectives on regulating technologies, 10 - 11 December 2008, Tilburg University, Tilburg, the Netherlands.
  7. PC member of European Symposium on Research in Computer Security (ESORICS) 2010.
  8. PC member of the International Workshop on Formal Aspects in Security and Trust (FAST 2009).
  9. PC member of Workshop on Information and System Security (WISSEC 2006), 8-9/11/2006, Antwerpen, Belgium.
  10. PC member of International Colloquium on Automata, Languages and Programming (ICALP 2004).
  11. PC member of Theorem Proving in Higher Order Logics (TPHOLs04, TPHOLs03, TPHOLs02, TPHOLs01, TPHOLs00, and TPHOLs99)
  12. 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.
  13. PC member of Algebraic Methods and Software Technology (AMAST2002)
  14. PC member of Mathematics of Program Construction (MPC2002)
  15. PC member of Category Theory and Computer Science (CTCS2004, CTCS2002)
  16. Co-organiser (together with Erik de Vink) of the 2001 IPA Springdays on security (April 18-20, Heeze, the Netherlands).
  17. PC member of Logic in Computer Science 2000 (LICS'00.)
  18. PC member of Foundations of Software Science and Computation Structures (FOSSACS'01)
  19. Co-organiser and PC-chair of FMOODS'02.
  20. 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.
  21. Co-organiser of Precise Modelling and Deduction for Object-oriented Software Development (PMD'01) at IJCAR
  22. 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).

Last modified: Wed May 14 16:47:12 MET DST 2003