International Joint Conference on Automated Reasoning

The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place. The conference is organized by CADE Inc., and CADE has always been one of the conferences partaking in IJCAR.

External links

This article is issued from Wikipedia - version of the Friday, May 03, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.