|
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 +
|
|
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 +
|
