6th International Joint Conference on Automated Reasoning (IJCAR 2012)

June 26, 2012 - July 1, 2012
University of Manchester

United Kingdom

View the Call For Papers

Topic areas

Talks at this conference

Add a talk


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 is part of the Alan Turing Year 2012, and collocated with The Alan Turing Centenary Conference.

For enquiries, please contact the Programme Chairs at [email protected].

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.