IJCAR 2012 - IJCAR 2012 ? The 6th International Joint Conference on Automated Reasoning

IJCAR 2012 ? The 6th International Joint Conference on Automated Reasoning
IJCAR 2012 will be held in Manchester, UK, from June 26th to July 1st, 2012.
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 2012 is a merger of leading events in automated reasoning:
CADE (International Conference on Automated Deduction)
FroCoS (International Symposium on Frontiers of Combining Systems)
FTP (International Workshop on First-order Theorem Proving)
TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
IJCAR 2012 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 2012 will be published by Springer-Verlag in the LNAI/LNCS series.
Previous editions of IJCAR took place in Siena, Italy (2001), Cork, Ireland (2004), Seattle, USA (2006), Sydney, Australia (2008) and Edinburgh, UK (2010).
IJCAR is part of the Alan Turing Year 2012, and collocated with
The Alan Turing Centenary Conference.