IJCAR 2008
From semanticweb.org
| IJCAR 2008 | |
|---|---|
4th International Joint Conference on Automated Reasoning
| |
| Start | Aug 10 2008 (iCal) |
| End | Aug 15 2008 |
| Homepage: | Homepage |
| Location | |
| City: | Sydney |
| Country: | Australia |
| Important dates | |
| Abstracts due: | Feb 22 2008 |
| Papers due: | Mar 3 2008 |
| Notification: | Apr 18 2008 |
| Camera ready due: | May 23 2008 |
Event in series IJCAR
| |
Subevents: CEDAR 2008
| |
IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August. The proceedings will be published in the Lecture Notes in Artificial Intelligence series.
[edit] Committees
[edit] Programme committee
- Alessandro Armando (Co-chair - Università di Genova, Italy)
- Peter Baumgartner (Co-chair - NICTA, Australia)
- Christoph Benzmüller (Universität des Saarlandes, Germany)
- Patrick Blackburn (LORIA, France)
- Nikolaj Bjørner (Microsoft Research, USA)
- Maria Paola Bonacina (Università degli Studi di Verona, Italy)
- Alessandro Cimatti (IRST, Italy)
- Hans de Nivelle (University of Wroclaw, Poland)
- Gilles Dowek (Co-chair - l'École Polytechnique, France)
- Roy Dyckhoff (University of St Andrews, United Kingdom)
- Silvio Ghilardi (Université degli Studi di Milano, Italy)
- Jürgen Giesl (RWTH Aachen, Germany)
- Rajeev Goré (The Australian National University, Australia)
- Bernhard Gramlich (Technische Universität Wien, Austria)
- Reiner Hähnle (Chalmers University of Technology, Sweden)
- John Harrison (Intel, USA)
- Deepak Kaupur (University of New Mexico, USA)
- Viktor Kuncak (Swiss Federal Institute of Technology, Switzerland)
- Christopher Lynch (Clarkson University, USA)
- Tobias Nipkow (Technische Universität München, Germany)
- Nicola Olivetti (Université Paul Cézanne, France)
- Larry Paulson (University of Cambridge, United Kingdom)
- Silvio Ranise (LORIA, France)
- Christophe Ringeissen (LORIA, France)
- Albert Rubio (Universitat Politànica de Catalunya, Spain)
- Michael Rusinowitch (LORIA, France)
- Ulrike Sattler (University of Manchester, United Kingdom)
- Carsten Schürmann (IT University of Copenhagen, Denmark)
- Natarajan Shankar (SRI International, USA)
- Viorica Sofronie-Stokkermans (Max-Planck-Institut für Informatik, Germany)
- Geoff Sutcliffe (University of Miami, USA)
- Cesare Tinelli (University of Iowa, USA)
- Ashish Tiwari (SRI International, USA)
- Luca Viganò (Università degli Studi di Verona, Italy)
- Andrei Voronkov (University of Manchester, United Kingdom)
- Toby Walsh (NICTA - University of New South Wales, Australia)
- Frank Wolter (University of Liverpool)
