Association for Automated Reasoning
Jump to navigation
Jump to search
This article needs additional citations for verification. (December 2025) |
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.[1]
The website of the association is maintained by Valentin Montmirail and Geoff Sutcliffe in Jekyll (software).
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]
