10th International Conference on |
Alessandro Armando | (University of Genoa, Italy) | |
Serge Autexier | (DFKI Bremen, Germany),Chair | |
Franz Baader | (TU Dresden, Germany) | |
Christoph Benzmüller | (Articulate Software, USA) | |
Russell Bradford | (University of Bath, UK) | |
Jacques Calmet | (University of Karlsruhe, Germany) | |
John Campbell | (University College London, UK) | |
Jacques Carette | (McMaster University, Canada) | |
Arjeh Cohen | (Eindhoven University of Technology, The Netherlands) | |
Simon Colton | (Imperial College London, UK) | |
Timothy Daly | (Carnegie Mellon, USA) | |
Lucas Dixon | (University of Edinburgh, UK) | |
Bill Farmer | (McMaster University, UK) | |
Martin Charles Golumbic | (University of Haifa, Israel) | |
Tetsuo Ida | (University of Tsukuba, Japan) | |
Tom Kelsey | (University of St Andrews, UK) | |
Claude Kirchner | (INRIA Bordeaux, France) | |
George Labahn | (University of Waterloo, Canada) | |
Petr Lisonek | (Simon Fraser University, Canada) | |
Ralf Möller | (TU Harburg, Germany) | |
Bijan Parsia | (University of Manchester, UK) | |
Renaud Rioboo | (ENSIIE, France) | |
Eugenio Roanes-Lozano | (Universidad Complutense de Madrid, Spain) | |
Chung-chieh Shan | (Rutgers, USA) | |
Jörg Siekmann | (Universität des Saarlandes, DFKI Saarbrücken, Germany) | |
Elena Smirnova | (Texas Instruments, USA) | |
Volker Sorge | (University of Birmingham, UK) | |
Toby Walsh | (NICTA & UNSW, Australia) | |
Dongming Wang | (Beihang University, China and UPMC-CNRS, France) | |
Stephen M. Watt | (University of Western
Ontario, Canada) | |
Wolfgang Windsteiger | (RISC, Austria) | |
Michael Witbrock | (Cycorp, USA) |