posted by system || 6723 views || tracked by 15 users: [display]

IJCAR 2010 : International Joint Conference on Automated Reasoning


Conference Series : International Joint Conference on Automated Reasoning
When Jul 16, 2010 - Jul 19, 2010
Where Edinburgh, United Kingdom
Abstract Registration Due Jan 15, 2010
Submission Deadline Jan 22, 2010
Notification Due Mar 15, 2010
Final Version Due Apr 19, 2010
Categories    automated reasoning   artificial intelligence

Call For Papers

IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning
Edinburgh, UK, July 16-19, 2010

IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2010 is a merger of leading events in automated reasoning:

* CADE (Conference on Automated Deduction),
* FroCoS (Workshop on Frontiers of Combining Systems),
* FTP (Workshop on First-order Theorem Proving), and
* TABLEAUX (Conference on Analytic Tableaux and Related Methods)

IJCAR 2010 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. The proceedings of IJCAR 2010 will be published by Springer-Verlag in the LNAI/LNCS series.

Submission details: Submission is electronic, through Easychair.

Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from here. The page limit is 15 pages for full papers, and 7 pages for system descriptions.

Program Chairs:
Jürgen Giesl, RWTH Aachen
Reiner Hähnle, Chalmers U.

Conference chair:
Alan Bundy, University of Edinburgh

Workshop chair:
Aaron Stump, University of Iowa

Important dates:

* Abstract submission deadline: January 15, 2010
* Paper submission deadline: January 22, 2010
* Notification of paper decisions: March 15, 2010
* Final version of papers due: April 19, 2010
* Conference dates: July 16-19, 2010

Program Committee:

Carlos Areces, INRIA Nancy Grand Est, France
Alessandro Armando, University of Genova, Italy
Franz Baader, Technical University of Dresden, Germany
Peter Baumgartner, NICTA Canberra, Australia
Bernhard Beckert, University of Koblenz, Germany
Christoph Benzmüller, International University Bruchsal, Germany
Nikolaj Bjorner, Microsoft Research, USA
Maria Paola Bonacina, Universita` degli Studi di Verona, Italy
Alan Bundy, University of Edinburgh, UK
Gilles Dowek, Ecole Polytechnique, France
Christian Fermüller, Vienna University of Technology, Austria
Ulrich Furbach, University of Koblenz, Germany
Didier Galmiche, LORIA Nancy, France
Silvio Ghilardi, University of Milano, Italy
Martin Giese, University of Oslo, Norway
Jürgen Giesl, RWTH Aachen University, Germany
Rajeev Goré, The Australian National University, Australia
Bernhard Gramlich, Vienna University of Technology, Austria
Reiner Hähnle, Chalmers University of Technology, Sweden
Ullrich Hustadt, University of Liverpool, UK
Deepak Kapur, University of New Mexico, USA
Viktor Kuncak, EPFL Lausanne, Switzerland
Rustan Leino, Microsoft Research, USA
Carsten Lutz, University of Bremen, Germany
George Metcalfe, University of Bern, Switzerland
Aart Middeldorp, University of Innsbruck, Austria
Neil Murray, University at Albany - SUNY, USA
Tobias Nipkow, Technical University of Munich, Germany
Nicola Olivetti, LSIS, University of Aix-Marseille, France
Nicolas Peltier, LIG Grenoble, France
Frank Pfenning, Carnegie Mellon University, USA
Brigitte Pientka, McGill University, Canada
André Platzer, Carnegie Mellon University, USA
Christophe Ringeissen, LORIA Nancy, France
Albert Rubio, UPC Barcelona, Spain
Renate Schmidt, The University of Manchester, UK
Carsten Schürmann, IT University of Copenhagen, Denmark
Roberto Sebastiani, University of Trento, Italy
Viorica Sofronie-Stokkermans, MPI-INF Saarbruecken, Germany
Aaron Stump, University of Iowa, USA
Geoff Sutcliffe, University of Miami, USA
Cesare Tinelli, University of Iowa, USA
Ashish Tiwari, SRI International, USA
Andrei Voronkov, The University of Manchester, UK
Christoph Weidenbach, MPI-INF Saarbruecken, Germany

Related Resources

RuleML+RR 2023   The 7th International Joint Conference on Rules and Reasoning
IEEE COINS 2023   IEEE COINS 2023 - Berlin, Germany - July 23-25 - Hybrid (In-Person & Virtual)
JCRAI 2023-Ei Compendex & Scopus 2023   2023 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2023)
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
KR 2023   Principles of Knowledge Representation and Reasoning
JCICE 2023   2023 International Joint Conference on Information and Communication Engineering(JCICE 2023)
EI-ISoIRS 2023   2023 4th International Symposium on Intelligent Robotics and Systems (ISoIRS 2023)
CFMAI 2023   2023 5th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2023)
ASE 2023   38th IEEE/ACM International Conference on Automated Software Engineering