The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on
automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...
,
automated reasoning
In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progra ...
, and related fields. It organizes the
CADE and
IJCAR
The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replace ...
conferences and publishes a roughly quarterly newsletter.
The website of the association is maintained by Valentin Montmirail and
Geoff Sutcliffe
Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning. He was born in the former British colony of Northern Rhodesia (now Zambia),
grew up in South Africa, and earned his PhD in Australia. Sutcliffe curren ...
in
Jekyll (software)
Jekyll is a static site generator written in Ruby by Tom Preston-Werner. It is distributed under the open source MIT license.
History
Jekyll was first released by Tom Preston-Werner in 2008. Jekyll was later taken over by Parker Moore, an employe ...
.
External links
AAR web page
{{Comp-sci-stub
Computer science organizations
Automated reasoning