Program Committee Chair:
John Campbell

Proceedings Editors:
John Campbell and Jacques Calmet

Program Committee:
Luigia Carlucci Aiello (University of Rome ``La Sapienza'', Italy)
Michael Beeson (San Jose State University, USA)
Belaid Benhamou (University of Provence, France)
Bruno Buchberger (University of Linz, RISC, Austria)
Jacques Calmet (University of Karlsruhe, Germany)
John Campbell (University College London, UK)
Bruce Char (Drexel University, USA)
James Davenport (University of Bath, UK)
William Farmer (McMaster University, Canada)
Jacques Fleuriot (University of Edinburgh, UK)
Laurent Henocque (LSIS - Laboratory for the Sciences of Information and Systems, France)
Tetsuo Ida (University of Tsukuba, Japan)
Michael Kohlhase (International University Bremen, Germany)
Erica Melis (DFKI, Saarbrücken, Germany)
Aart Middeldorp (University of Innsbruck, Austria)
Eric Monfroy(University of Nantes, France)
Steve Linton (University of St. Andrews, UK)
John Perram (University of Southern Denmark, Denmark)
Jochen Pfalzgraf (University of Salzburg, Austria)
Zbigniew Ras (University of North Carolina, USA)
Tomas Recio (University of Cantabria, Spain)
Eugenio Roanes Lozano (Universidad Complutense de Madrid, Spain)
Jörg Siekmann (University of Saarland and DFKI, Saarbrücken, Germany)
Volker Sorge (University of Birmingham, UK)
John Stell (University of Leeds, UK)
Carolyn Talcott (SRI, Menlo Park, USA)
Dongming Wang (University Paris VI, France)
Wolfgang Windsteiger (University of Linz, RISC, Austria)