]> 2008-12-05T00:08:44+01:00 CEDAR 2008 2008-07-07T00:00:00 2008-08-10T00:00:00 2008-06-20T00:00:00 2008-06-02T00:00:00 2008-08-10T00:00:00 2008-06-02T00:00:00 Complexity, Expressibility, and Decidability in Automated Reasoning Title Submission deadline IJCAR 2008 Subevent of Start date Paper deadline Notification Homepage Australia Has location country Sydney Has location city Has general chair Frank Wolter Luca Vigano Ashish Tiwari Lidia Tendera Viorica Sofronie-Stokkermans Renate Schmidt Ulrike Sattler Silvio Ranise Bijan Parsia Christopher Lynch Sava Krstic Felix Klaedtke Miki Hermann Reiner Haehnle Silvio Ghilardi Christian Fermüller Sebastian Brandt Maria Paola Bonacina Matthias Baaz Franz Baader Carlos Areces Has PC member End date Camera ready due Workshop