CEDAR 2008

From semanticweb.org

CEDAR 2008 is a workshop on Complexity, Expressibility, and Decidability in Automated Reasoning. The goal of CEDAR is to bring together researchers interested in exploring the topics above, both at a theoretical level and motivated by applications, and to enhance the interaction between automated reasoning and computational complexity through invited and contributed talks.

The ultimate aim is to expand the horizons of this area of research, deepen the interactions, sensibilize other people from the automated reasoning community to the complexity problems, and last but not least, offer persons working in research and development centers of software companies the possibility to get an overview of the problems.

[edit] Committees

[edit] Program and Workshop Chairs

• Franz Baader (TU Dresden)
• Silvio Ghilardi (U. Milano)
• Miki Hermann (Ecole Polytechnique, Palaiseau)
• Ulrike Sattler (U. Manchester)
• Viorica Sofronie-Stokkermans (MPI, Saarbrücken)

[edit] Program Committee

• Carlos Areces (INRIA Nancy)
• Franz Baader (TU Dresden)
• Matthias Baaz (T.U.Wien)
• Maria Paola Bonacina (U. Verona)
• Sebastian Brandt (U. Manchester)
• Christian Fermüller (T.U.Wien)
• Silvio Ghilardi (U. Milano)
• Reiner Haehnle (Chalmers U.)
• Miki Hermann (Ecole Polytechnique, Palaiseau)
• Felix Klaedtke (ETH Zurich)
• Sava Krstic (Intel Corporation)
• Christopher Lynch (Clarkson U.)
• Bijan Parsia (U. Manchester)
• Silvio Ranise (LORIA/INRIA-Lorraine)
• Ulrike Sattler (U. Manchester)
• Renate Schmidt (U. Manchester)
• Viorica Sofronie-Stokkermans (MPI,Saarbrücken)
• Lidia Tendera (U. Opole)
• Ashish Tiwari (SRI International)
• Luca Vigano (U. Verona)
• Frank Wolter (U. Liverpool)