| 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/~sofronie/cedar08.html +
|
| Modification dateThis property is a special property in this wiki.
|
28 May 2008 08:36:31 +
|
| 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 +
|
