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 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.