Association_for_Automated_Reasoning

Association for Automated Reasoning

Association for Automated Reasoning

Add article description

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


    Stub icon

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

    This article uses material from the Wikipedia article Association_for_Automated_Reasoning, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.