Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Programme Committee work by Bart Jacobs
[go: Go Back, main page]

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).

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