Programme committee

Franz Baader, T.U. Dresden, Germany
Peter Baumgartner, NICTA, Camberra, Australia
Torben Brauner, Roskilde University, DK
Leonardo de Moura, Microsoft Research, USA
Bernhard Gramlich, T.U. Wien, Austria
Sava Krstic, Intel Corporation, USA
Viktor Kuncak, E.P.F. Lausanne, Switzerland
Albert Oliveras, T.U. of Catalonia, Spain
Silvio Ranise, University of Verona, Italy
Christophe Ringeissen, LORIA, Nancy, France
Ulrike Sattler, Univ. of Manchester, UK
Renate Schmidt, Univ. of Manchester, UK
Luciano Serafini, FBK-Irst, Italy
Viorica Sofronie-Stokkermans, MPI, Saarbruken, Germany
Cesare Tinelli, University of Iowa, USA
Frank Wolter, University of Liverpool, UK
Michael Zakharyaschev, London Knowledge Lab, UK