IJCAR
From semanticweb.org
IJCAR is the series of biennial International Joint Conferences on Automated Reasoning. Since 2001, the CADE (Conference on Automated Deduction) conference series has regularly been merged with IJCAR.
The following events of the series IJCAR are currently known in this wiki:
| From | To | City | Country | Acc.% | |
|---|---|---|---|---|---|
| IJCAR 2008 | 10 August 2008 | 15 August 2008 | Sydney | Australia |