Challenges and Novel Applications for Automated Reasoning

CADE-19 Workshop
July 28, 2003
Miami
USA

Workshop chairs:
Simon Colton, Imperial College
Jeremy Gow, University College London
Volker Sorge, University of Birmingham
Toby Walsh, UCC

Programme committee:

Alan Bundy, Edinburgh University
Uli Furbach, University Koblenz-Landau
Enrico Giunchiglia, Universita di Genova
Michael Kohlhase, Carnegie Mellon University
John Slaney, ANU
Volker Sorge, University of Birmingham
Andrzej Trybulec, University of Bialystok