CEDAR 2008

CEDAR 2008
Complexity, Expressibility, and Decidability in Automated Reasoning
Subevent of	IJCAR 2008
Start	August 10 2008 (iCal)
End	August 10 2008
Homepage:	Homepage
Location
City:	Sydney
Country:	Australia
Important dates
Papers due:	June 2 2008
Notification:	June 20 2008
Camera ready due:	July 7 2008

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.

Committees

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)

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)