International:
Member of
Academia Europaea.
Member of the Board of Directors of
TARK (Theoretical Aspects of Rationality and Knowledge).
Founding Editor, first Editor-in-Chief and area editor of
ACM Transactions on Computational Logic (TOCL).
Member of the advisory committee of the
Computing Research Repository (CoRR).
Book Section editor of
Theory and Practice of Logic Programming (TPLP) .
Area editor of
Journal of Logic and Computation (JLC) .
Member of Advisory Board of
Logical Methods in Computer Science (LMCS).
Member of
ERCIM Working Group on Constraints.
Member of the Prize Board
Lipski Award.
National:
Member of
Dutch Association for Theoretical Computer Science (NVTI).
This page is maintained by
Krzysztof R. Apt
[Home]
CWI DISCLAIMER