Association for Automated Reasoning
Topic: Organization
From HandWiki - Reading time: 1 min
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.
External links
 |  |
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Organization:Association_for_Automated_Reasoning1 | Status: cached on July 16 2024 13:56:59↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF