posted by system || 6043 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

IJCAI 2022   31st International Joint Conference on Artificial Intelligence
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
ICPR 2022   26th International Conference on Pattern Recognition
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
FAIML 2022   2022 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2022)
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
IJCNN 2023   International Joint Conference on Neural Networks
ESEC/FSE 2022   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ACM--ICMLSC--EI Compendex, Scopus 2022   ACM--2022 The 6th International Conference on Machine Learning and Soft Computing (ICMLSC 2022)--Ei compendex, scopus