Association for Automated Reasoning

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Association for Automated Reasoning" – news · newspapers · books · scholar · JSTOR (April 2024) (Learn how and when to remove this message)

The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and publishes a roughly quarterly newsletter.

The website of the association is maintained by Valentin Montmirail and Geoff Sutcliffe in Jekyll (software).

References

External links

AAR web page

This computer science article is a stub. You can help Wikipedia by expanding it.