Who is who
- Newsletter Editor: Enrico Pontelli
- Area Editors:
- Theorem Proving: Brigitte Pientka
McGill University, Canada
http://www.cs.mcgill.ca/~bpientka/
- Constraints: Eric Monfroy
University of Nantes, France
http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/
- Concurrency: Frank Valencia
Lix, Ecole Polytechnique de Paris, France
http://www.brics.dk/~fvalenci
- Verification and Model Checking: C.R. Ramakrishnan
SUNY Stony Brook, USA
http://www.cs.sunysb.edu/~cram/
- Multi-Agent Systems: Fariba Sadri and Francesca Toni
Imperial College, London, UK
http://www-lp.doc.ic.ac.uk/UserPages/staff/fs/
http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/ft.html
- Non-Monotonic Reasoning: Tran Cao Son
New Mexico State University, USA
http://www.cs.nmsu.edu/~tson
- Applications of Logic and
Constraint Programming: Agostino Dovier
University of Udine, Italy
http://www.dimi.uniud.it/~dovier
- Web and Semantic Web: Axel
Polleres
Universidad Rey Juan Carlos, Spain
http://www.polleres.net
- Webmaster: Andrew O. Gonzalez