Committees

Program Committee

• Carlos Areces FaMAF - Universidad Nacional de Córdoba
• Alessandro Artale Free University of Bolzano-Bozen
• Franz Baader TU Dresden
• Haniel Barbosa Universidade Federal de Minas Gerais
• Peter Baumgartner CSIRO
• Clare Dixon University of Manchester
• Mathias Fleury University of Freiburg
• Didier Galmiche LORIA - Université de Lorraine
• Silvio Ghilardi Dipartimento di Matematica, Università degli Studi di Milano
• Jürgen Giesl RWTH Aachen University
• Andreas Herzig IRIT at Université Paul Sabatier
• Roman Kontchakov Birkbeck, University of London
• Paliath Narendran University at Albany - SUNY
• Aina Niemetz Stanford University
• Naoki Nishida Nagoya University
• Giles Reger Amazon Web Services and The University of Manchester
• Andrew Reynolds The University of Iowa
• Christophe Ringeissen LORIA - Université de Lorraine
• Philipp Rümmer University of Regensburg
• Uli Sattler The University of Manchester (Chair)
• Renate A. Schmidt The University of Manchester
• Roberto Sebastiani University of Trento
• Viorica Sofronie-Stokkermans University of Koblenz
• K. Subramani West Virginia University
• Martin Suda Czech Technical University in Prague (Chair)
• Dmitriy Traytel University of Copenhagen
• Christoph Weidenbach Max Planck Institute for Informatics
• Piotr Wojciechowski West Virginia University
• Akihisa Yamada AIST

Local Organisers

• Karel Chvalovsky Czech Technical University in Prague
• Jan Jakubuv Czech Technical University in Prague
• Martin Suda Czech Technical University in Prague
• Josef Urban Czech Technical University in Prague
• Cezary Kaliszyk University of Innsbruck, Austria