| Abstract deadline
|
22 February 2008 +
|
| Camera ready due
|
23 May 2008 +
|
| End date
|
15 August 2008 +
|
| Event in series
|
IJCAR +
|
| Has PC member
|
Alessandro Armando +,
Peter Baumgartner +,
Christoph Benzmüller +,
Patrick Blackburn +,
Nikolaj Bjørner +,
Maria Paola Bonacina +,
Alessandro Cimatti +,
Hans de Nivelle +,
Gilles Dowek +,
Roy Dyckhoff +,
Silvio Ghilardi +,
Jürgen Giesl +,
Rajeev Goré +,
Bernhard Gramlich +,
Reiner Hähnle +,
John Harrison +,
Deepak Kaupur +,
Viktor Kuncak +,
Christopher Lynch +,
Tobias Nipkow +,
Nicola Olivetti +,
Larry Paulson +,
Silvio Ranise +,
Christophe Ringeissen +,
Albert Rubio +,
Michael Rusinowitch +,
Ulrike Sattler +,
Carsten Schürmann +,
Natarajan Shankar +,
Viorica Sofronie-Stokkermans +,
Geoff Sutcliffe +,
Cesare Tinelli +,
Ashish Tiwari +,
Luca Viganò +,
Andrei Voronkov +,
Toby Walsh +,
Frank Wolter +
|
| Has location city
|
Sydney +
|
| Has location country
|
Australia +
|
| Homepage
|
http://www.ijcar.org/2008/ +
|
| Modification dateThis property is a special property in this wiki.
|
3 July 2008 07:26:44 +
|
| Notification
|
18 April 2008 +
|
| Paper deadline
|
3 March 2008 +
|
| Start date
|
10 August 2008 +
|
| Submission deadline
|
3 March 2008 +
|
| Title
|
4th International Joint Conference on Automated Reasoning +
|
| Categories |
Stand-alone event +,
Conference +
|
