Who is who

Newsletter Editor: Enrico Pontelli
- E. Pontelli: New Mexico State University - USA. http://www.cs.nmsu.edu/~epontell/.
Area Editors:
- Implementation & NetTalk: 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
  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

Copyright or other proprietary statement goes here.
For problems or questions regarding this Web site contact [ProjectEmail].
Last updated: 07/25/07.