6th International Joint Conference on Automated Reasoning (IJCAR 2012)
Talks at this conferenceAdd 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.
For enquiries, please contact the Programme Chairs at [email protected].
Who is attending?
No one has said they will attend yet.
Will you attend this event?