Challenges and Novel Applications for Automated Reasoning

CADE-19 Workshop
July 28, 2003
Miami
USA

Participants:
Peter Andrews, Carnegie Mellon University
Franz Baader, Technische Universitat Dresden
Peter Baumgartner, Universitat Koblenz-Landau
Christoph Benzmuller, Saarland University
Jacques Calmet, University of Karlsruhe
Simon Colton, Imperial College
Ulrich Furbach, University of Koblenz
Jean-Marie Gaillourdet, University of Kaiserslautern
Sava Krstic, Oregon Health & Science University
Lilia Georgieva, Heriot-Watt University
Thomas Hillenbrand, Max-Planck Institut fur Informatik
Claude Kirchner, LORIA
Panagiotis Manolios,Georgia Institute of Technology
Farhad Mehta, Technische Universitat Muenchen
Robert Nieuwenhuis, Technical University of Catalonia
Renate Schmidt, University of Manchester
Stephan Schulz, Technische Universitat Muenchen and RISC/Linz
Volker Sorge, University of Birmingham
Geoff Sutcliffe, University of Miami
Ceare Tinelli, University of Iowa
Daron Vroon, Georgia Institute of Technology
Toby Walsh, University College Cork
Christoph Walther, Universitat Darmstadt