Association for Automated Reasoning

aarinc.org

Mathematics and Computer Science Division
Argonne, IL 60439
US
(630) 252-7224

Member Directory
Job Postings
Member Community
Education
Multiple Member Levels

About This Association

The Association for Automated Reasoning (AAR) is a not-for-profit corporation intended for educational and scientific purposes. The major conferences of the AAR community are the International Conference on Automated Deduction (CADE), and the International Joint Conference on Automated Reasoning (IJCAR). AAR members are eligible for a substantially reduced subscription rate to the Journal of Automated Reasoning.

Publications

AAR Newsletter

Conventions

CADE (IJCAI)

Specialties:

Technology - Artificial Intelligence

Information Summary

Member Count

500

Year Founded

Staff Count

Budget

Less than $50,000

Type

National Association

Location

Google Map