| Camera ready due
|
7 July 2008 +
|
| End date
|
10 August 2008 +
|
| Has PC member
|
Carlos Areces +
, Franz Baader +
, Matthias Baaz +
, Maria Paola Bonacina +
, Sebastian Brandt +
, Christian Fermüller +
, Silvio Ghilardi +
, Reiner Haehnle +
, Miki Hermann +
, Felix Klaedtke +
, Sava Krstic +
, Christopher Lynch +
, Bijan Parsia +
, Silvio Ranise +
, Ulrike Sattler +
, Renate Schmidt +
, Viorica Sofronie-Stokkermans +
, Lidia Tendera +
, Ashish Tiwari +
, Luca Vigano +
, Frank Wolter +
|
| Has general chair
|
Franz Baader +
, Silvio Ghilardi +
, Miki Hermann +
, Ulrike Sattler +
, Viorica Sofronie-Stokkermans +
|
| Has location city
|
Sydney +
|
| Has location country
|
Australia +
|
| Homepage
|
http://www.mpi-inf.mpg.de/%7Esofronie/cedar08.html +
|
| Modification date
|
|
| Notification
|
20 June 2008 +
|
| Paper deadline
|
2 June 2008 +
|
| Start date
|
10 August 2008 +
|
| Subevent of
|
IJCAR 2008 +
|
| Submission deadline
|
2 June 2008 +
|
| Title
|
Complexity, Expressibility, and Decidability in Automated Reasoning +
|
| Categories |
Workshop +
|
