| Abstract deadline
|
6 June 2008 +
|
| Camera ready due
|
19 September 2008 +
|
| End date
|
27 November 2008 +
|
| Event in series
|
LPAR +
|
| Has PC member
|
Franz Baader +
, Matthias Baaz +
, Peter Baumgartner +
, Josh Berdine +
, Armin Biere +
, Iliano Cervesato +
, Sagar Chaki +
, Hubert Comon-Lundh +
, Javier Esparza +
, Roberto Giacobazzi +
, Jürgen Giesl +
, Orna Grumberg +
, Thomas Henzinger +
, Joxan Jaffar +
, Claude Kirchner +
, Stephan Kreutzer +
, Orna Kupferman +
, Alexander Leitsch +
, Nicola Leone +
, Heiko Mantel +
, Cathy Meadows +
, Aart Middeldorp +
, John Mitchell +
, Andreas Podelski +
, Sanjiva Prasad +
, Alexander Razborov +
, Andrey Rybalchenko +
, Ulrike Sattler +
, Torsten Schaub +
, Carsten Schürmann +
, Helmut Seidl +
, Henny Sipma +
, Geoff Sutcliffe +
, Ashish Tiwari +
|
| Has location city
|
Doha +
|
| Has location country
|
Qatar +
|
| Has program chair
|
Helmut Veith +
, Andrei Voronkov +
|
| Homepage
|
http://www.qatar.cmu.edu/lpar08/ +
|
| Modification date
|
|
| Notification
|
29 August 2008 +
|
| Paper deadline
|
16 June 2008 +
|
| Start date
|
23 November 2008 +
|
| Submission deadline
|
16 June 2008 +
|
| Title
|
15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning +
|
| Categories |
Stand-alone event +
, Conference +
|
