<div dir="ltr"><div>(( Apologies for multiple copies ))</div><div><br></div><div> ** FINAL CALL FOR PAPERS **</div><div> - Note deadline extension -</div><div><br></div><div>IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning</div>
<div> Vienna, Austria, July 19-22, 2014</div><div> <a href="http://cs.nyu.edu/ijcar2014/">http://cs.nyu.edu/ijcar2014/</a></div><div><br></div><div> as part of FLoC 2014 - Federated Logic Conference</div>
<div> <a href="http://www.floc-conference.org/">http://www.floc-conference.org/</a></div><div><br></div><div> as part of VSL 2014 - Vienna Summer of Logic</div><div> <a href="http://vsl2014.at/">http://vsl2014.at/</a></div>
<div><br></div><div> Call for Papers</div><div> ---------------</div><div><br></div><div>IJCAR is the premier international joint conference on all topics</div><div>
in automated reasoning. The IJCAR technical program will consist</div><div>of presentations of high-quality original research papers,</div><div>system descriptions, and invited talks.</div><div><br></div><div>IJCAR 2014 is a merger of leading events in automated reasoning:</div>
<div><br></div><div> CADE (Conference on Automated Deduction),</div><div> FroCoS (Workshop on Frontiers of Combining Systems) and</div><div> TABLEAUX (Conference on Analytic Tableaux and Related Methods)</div><div><br>
</div><div>IJCAR 2014 invites submissions related to all aspects of automated</div><div>reasoning, including foundations, implementations, and applications.</div><div>Original research papers and descriptions of working automated deduction</div>
<div>systems are solicited.</div><div><br></div><div>IJCAR topics include the following ones:</div><div><br></div><div>- Logics of interest include: propositional, first-order, classical,</div><div> equational, higher-order, non-classical, constructive, modal,</div>
<div> temporal, many-valued, substructural, description, type theory, etc.</div><div><br></div><div>- Methods of interest include: tableaux, sequent calculi, resolution,</div><div> model-elimination, inverse method, paramodulation, term rewriting,</div>
<div> induction, unification, constraint solving, decision procedures,</div><div> model generation, model checking, semantic guidance, interactive</div><div> theorem proving, logical frameworks, AI-related methods for</div>
<div> deductive systems, proof presentation, automated theorem provers,</div><div> etc.</div><div><br></div><div>- Applications of interest include: verification, formal methods,</div><div> program analysis and synthesis, computer mathematics, declarative</div>
<div> programming, deductive databases, knowledge representation, etc.</div><div><br></div><div>The proceedings of IJCAR 2014 will be published by Springer-Verlag in</div><div>the LNAI/LNCS series.</div><div><br></div><div>
Submission details:</div><div>Submission is electronic, through</div><div><br></div><div> <a href="https://www.easychair.org/conferences/?conf=ijcar14">https://www.easychair.org/conferences/?conf=ijcar14</a></div><div>
<br></div><div>Authors are strongly encouraged to use LaTeX and the Springer "llncs"</div><div>format, which can be obtained from</div><div><br></div><div> <a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a></div>
<div><br></div><div>The page limit is 15 pages for full papers, and 7 pages for system</div><div>descriptions.</div><div><br></div><div>Best paper award:</div><div>IJCAR 2014 will offer a best paper award to recognize the most outstanding</div>
<div>paper appearing at the conference.</div><div><br></div><div>Invited speakers:</div><div>Ken McMillan (Microsoft Research)</div><div>Rajeev Goré (Australian National University)</div><div><br></div><div>Other speakers during the second week of the Vienna Summer for Logic,</div>
<div>but affiliated with other events, include (in alphabetical order)</div><div>Franz Baader, Edmund Clarke, Veronique Cortier, Orna Kupferman,</div><div>Christos Papadimitriou, and Alex Wilkie.</div><div><br></div><div>
Program co-chairs:</div><div>Stéphane Demri (New York University & CNRS)</div><div>Deepak Kapur (University of New Mexico, USA)</div><div>Christoph Weidenbach (MPI-INF Saarbrücken, Germany)</div><div><br></div><div>Conference co-chairs:</div>
<div>Christian Fermueller (TU Vienna, Austria)</div><div>Stefan Hetzl (TU Vienna, Austria)</div><div><br></div><div>Publicity chair:</div><div>Morgan Deters (New York University)</div><div><br></div><div>Workshop chair:</div>
<div>Matthias Horbach (MPI-INF Saarbrücken, Germany)</div><div><br></div><div>Important dates: [updated]</div><div> Abstract submission deadline: January 22, 2014 [updated]</div><div> Paper submission deadline: January 29, 2014 [updated]</div>
<div> Notification of paper decisions: April 7, 2014 [updated]</div><div> Final version of papers due: April 26, 2014 [updated]</div><div> Conference dates: July 19-22, 2014</div>
<div><br></div><div>Student travel awards:</div><div>Travel awards will be available to enable selected students to attend the</div><div>conference. Details will be announced in March 2014.</div><div><br></div><div>Program Committee:</div>
<div><br></div><div>Franz Baader (TU Dresden, Germany)</div><div>Peter Baumgartner (NICTA Canberra, Australia)</div><div>Bernhard Beckert (Karlsruhe Institute of Technology, Germany)</div><div>Jasmin Blanchette (Technische Universität München, Germany)</div>
<div>Bernard Boigelot (University of Liege, Belgium)</div><div>Maria Paola Bonacina (Università degli Studi di Verona, Italy)</div><div>Agata Ciabattoni (TU Vienna, Austria)</div><div>Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)</div>
<div>Leonardo de Moura (Microsoft Research)</div><div>Stéphanie Delaune (LSV, CNRS, Cachan, France)</div><div>Stéphane Demri (New York University & CNRS)</div><div>Stephan Falke (Karlsruhe Institute of Technology, Germany)</div>
<div>Christian Fermueller (TU Vienna, Austria)</div><div>Pascal Fontaine (LORIA, University of Nancy, France)</div><div>Silvio Ghilardi (University of Milano, Italy)</div><div>Juergen Giesl (RWTH Aachen University, Germany)</div>
<div>Valentin Goranko (TU Denmark, Copenhagen)</div><div>Radu Iosif (VERIMAG, Grenoble, France)</div><div>Deepak Kapur (University of New Mexico, USA)</div><div>Boris Konev (University of Liverpool, UK)</div><div>Konstantin Korovin (The University of Manchester, UK)</div>
<div>Daniel Kroening (Oxford University, UK)</div><div>Viktor Kuncak (EPFL Lausanne, Switzerland)</div><div>Martin Lange (University of Kassel, Germany)</div><div>Stephan Merz (LORIA, INRIA Lorraine, France)</div><div>Aart Middeldorp (University of Innsbruck, Austria)</div>
<div>Enric Rodríguez-Carbonell (TU Catalonia, Spain)</div><div>Renate Schmidt (The University of Manchester, UK)</div><div>Carsten Schürmann (IT University of Copenhagen, Denmark)</div><div>Roberto Sebastiani (University of Trento, Italy)</div>
<div>Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany)</div><div>Geoff Sutcliffe (University of Miami, USA)</div><div>Cesare Tinelli (The University of Iowa, USA)</div><div>Uwe Waldmann (MPI-INF, Saarbrücken, Germany)</div>
<div>Christoph Weidenbach (MPI-INF, Saarbrücken, Germany)</div><div>Jian Zhang (Chinese Academy of Sciences, P.R. China)</div><div><br></div>
</div>