<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span>Call For Papers --- IJCAR 2012<br><br><span class="Apple-tab-span" style="white-space: pre; "> </span> 6th International Joint Conference on Automated Reasoning<br><br><span class="Apple-tab-span" style="white-space: pre; "> </span> Manchester, UK, June 26-July 1, 2012<br><br><span class="Apple-tab-span" style="white-space: pre; "> </span><span class="Apple-tab-span" style="white-space: pre; "> </span> <a href="http://ijcar.cs.manchester.ac.uk/">http://ijcar.cs.manchester.ac.uk/</a><br><br><br>Important Dates (all in 2012):<br><br> Abstract submission January 23 Final version due April 16<br> Paper submission January 30 Conference dates June 26-29<br> Notification March 26 Satellite events June 30-July 1<br><br>IJCAR is the premier international joint conference on all topics in<br>automated reasoning. IJCAR 2012, the 6th International Joint<br>Conference on Automated Reasoning, is a merger of leading events in<br>automated reasoning: CADE (International Conference on Automated<br>Deduction), FroCoS (International Symposium on Frontiers of Combining<br>Systems), FTP (International Workshop on First-order Theorem Proving),<br>and TABLEAUX (International Conference on Automated Reasoning with<br>Analytic Tableaux and Related Methods). Previous editions of IJCAR<br>took place in Siena (2001), Cork (2004), Seattle (2006), Sydney (2008)<br>and Edinburgh (2010), cf. <a href="http://www.ijcar.org/">http://www.ijcar.org/</a>. <br><br>IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The<br>Alan Turing Centenary Conference in Manchester.<br><br>Scope: IJCAR 2012 invites submissions related to all aspects of<br>automated reasoning, including foundations, implementations, and<br>applications. Original research papers and descriptions of working<br>automated deduction systems are solicited.<br><br>Logics of interest include: propositional, first-order, classical,<br>equational, higher-order, non-classical, constructive, modal,<br>temporal, many-valued, substructural, description, metalogics, type<br>theory, and set theory. Methods of interest include: tableaux,<br>sequent calculi, resolution, model-elimination, connection method,<br>inverse method, paramodulation, term rewriting, induction,<br>unification, constraint solving, decision procedures, model<br>generation, model checking, semantic guidance, interactive theorem<br>proving, logical frameworks, AI-related methods for deductive systems,<br>proof presentation, efficient datastructures and indexing, integration<br>of computer algebra systems and automated theorem provers, and<br>combination of logics or decision procedures.<br><br>Applications of interest include: verification, formal methods,<br>program analysis and synthesis, computer mathematics, declarative<br>programming, deductive databases, knowledge representation, natural<br>language processing, linguistics, robotics, and planning.<br><br>Submission: Submission is electronic through<br><br><span class="Apple-tab-span" style="white-space: pre; "> </span> <a href="https://www.easychair.org/?conf=ijcar2012">https://www.easychair.org/?conf=ijcar2012</a>.<br><br>Authors are strongly encouraged to use LaTeX and the Springer llncs<br>class file, which can be obtained from<br><a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>. The page limit is 15<br>pages for full papers and 7 pages for system descriptions. All papers<br>will be evaluated according to originality, significance, technical<br>quality, and readability. Submitted papers must be original and not<br>submitted for publication elsewhere. For more details concerning<br>submission see the conference web site. The proceedings of IJCAR 2012<br>will be published by Springer-Verlag in the LNAI/LNCS series.<br><br>Student Travel Awards: Travel awards will be available to enable<br>selected students to attend the conference. Details will be available<br>in early 2012. <br><br>Further Information: For further and up-to-date information about<br>IJCAR 2012 visit <a href="http://ijcar.cs.manchester.ac.uk/">http://ijcar.cs.manchester.ac.uk/</a>.<br><br>Program Chairs:<br><br> Bernhard Gramlich (TU Wien)<br> Dale Miller (INRIA Saclay -- Ile-de-France)<br> Ulrike Sattler (Univ. of Manchester)</body></html>