LPAR 2008
From semanticweb.org
| LPAR 2008 | |
|---|---|
15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
| |
| Start | Nov 23 2008 (iCal) |
| End | Nov 27 2008 |
| Homepage: | Homepage |
| Location | |
| City: | Doha |
| Country: | Qatar |
| Important dates | |
| Abstracts due: | June 6 2008 |
| Papers due: | June 16 2008 |
| Notification: | Aug 29 2008 |
| Camera ready due: | warning.pngThe date "19 Sept 2008" was not understood. |
Event in series LPAR
| |
LPAR 2008 is the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in Doha, Qatar on the premises of the Qatar campus of Carnegie Mellon University.
[edit] Program Committee
Programme chairs:
- Helmut Veith, TU Darmstadt (Germany) - chair
- Andrei Voronkov, University of Manchester (UK) - chair
Programme committee:
- Franz Baader, TU Dresden (Germany)
- Matthias Baaz, TU Vienna (Austria)
- Peter Baumgartner, National ICT (Australia)
- Josh Berdine, MSR Cambridge (UK)
- Armin Biere, Johannes Kepler University (Austria)
- Iliano Cervesato, Carnegie Mellon University (Qatar) - chair
- Sagar Chaki, Carnegie Mellon SEI (US)
- Hubert Comon-Lundh, ENS Cachan (France)
- Javier Esparza, TU Munich (Germany)
- Roberto Giacobazzi, University of Verona (Italy)
- Jürgen Giesl, RWTH Aachen (Germany)
- Orna Grumberg, Technion (Israel)
- Thomas Henzinger, EPFL (Switzerland)
- Joxan Jaffar, NUS (Singapore)
- Claude Kirchner, INRIA & LORIA (France)
- Stephan Kreutzer, Oxford University (UK)
- Orna Kupferman, Hebrew University (Israel)
- Alexander Leitsch, TU Vienna (Austria)
- Nicola Leone, University of Calabria (Italy)
- Heiko Mantel, TU Darmstadt (Germany)
- Cathy Meadows, Naval Research Laboratory (US)
- Aart Middeldorp, University of Innsbruck (Austria)
- John Mitchell, Stanford University (US)
- Andreas Podelski, University of Freiburg (Germany)
- Sanjiva Prasad, IIT Delhi (India)
- Alexander Razborov, Russian Academy of Sciences (Russia)
- Andrey Rybalchenko, MPI-SWS (Germany)
- Ulrike Sattler, University of Manchester (UK)
- Torsten Schaub, University of Potsdam (Germany)
- Carsten Schürmann, IT University of Copenhagen (Denmark)
- Helmut Seidl, TU Munich (Germany)
- Henny Sipma, Stanford University (US)
- Geoff Sutcliffe, University of Miami (US)
- Ashish Tiwari, SRI (US)
