VSL 2014: VIENNA SUMMER OF LOGIC 2014
IJCAR Home Page

7th International Joint Conference on Automated Reasoning (IJCAR)

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 2014 is a merger of leading events in automated reasoning:

CADE (Conference on Automated Deduction),
FroCoS (Workshop on Frontiers of Combining Systems),
TABLEAUX (Conference on Analytic Tableaux and Related Methods)

Detailed information on IJCAR'14 can be found on the IJCAR'14 website.

Call for Papers

Organization