posted by system || 5354 views || tracked by 16 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

IJCAI 2021   30th International Joint Conference on Artificial Intelligence
AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
IJCAR 2020   10th International Joint Conference on Automated Reasoning
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
EI-RACE 2021   2021 Asia-Pacific Conference on Robotics, Automation and Communication Engineering (RACE 2021)
SIUSAI 2021   2021 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2021)
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
RuleML+RR 2020   International Joint Conference on Rules and Reasoning 2020
StoryCase 2012   ICCBR-12 Workshop on Stories, Episodes, and Cases (StoryCase)
ACL-IJCNLP 2021   59t Annual Meeting of the Association for Computational Linguistcs and the 10th International Joint Conference on Natural Language Processing