6th International Joint Conference on Automated Reasoning (IJCAR 2012)
June 26, 2012 - July 1, 2012
University of Manchester
Manchester
United Kingdom
Topic areas
Talks at this conference
Add a talkDetails
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].
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?