Who is who
Newsletter Editors: Enrico Pontelli
and
Sandro Etalle
E. Pontelli: New Mexico State University - USA.
http://www.cs.nmsu.edu/~epontell/
.
S. Etalle: University of Twente and CWI - The Netherlands.
http://www.cs.utwente.nl/~etalle
.
Area Editors:
Implementation: Roberto Bagnara
University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
Games, Puzzles, and Applications: Paolo Baldan
University Ca' Foscari, Venice, Italy
http://www.dsi.unive.it/~baldan
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
Uppsala University, Sweden
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
Webmaster: Danny Penders