The Association for Automated Reasoning (AAR) is a not-for-profit corporation whose objective is advancing the field of automated reasoning by means that include the dissemination of information to its members and the promotion of the exchange of information. This corporation will have the authority to incorporate other subcorporations. The Association for Automated Reasoning and all subcorporations will be independent of each other except for the respects covered in the included bylaws, and neither the corporation AAR nor its subcorporations will be liable for any acts or omissions of the other. The corporation AAR is subject to the following bylaws, and all other powers and provisions provided by law.

Board of Directors

  • A. The members of the Board of Directors of AAR consist of the AAR officers (president, vice-president, secretary, newsletter editor, and possibly a treasurer) and two CADE trustees nominated as CADE representatives by the CADE board of trustees. To be an officer of AAR, one must be a member of AAR. CADE is a not-for-profit subcorporation of AAR whose objective is to organize and hold conferences on automated reasoning.

  • B. The term of office for officers of AAR is six years in duration; the term of office for the CADE representatives is two years.

  • C. An officer of AAR can hold consecutive terms, and is a member of the board of directors when holding the position of one of the officers of AAR. The CADE representatives cannot hold consecutive terms.

  • D. If an officer of AAR is unable to complete a term, a replacement will be chosen by the Board of Directors of AAR; should a vote result in a tie, the president will cast the deciding vote. New officers will be elected by the members of AAR as their terms expire. Ballots must be mailed to AAR members at least 45 days before expiration of an officer’s term. Ballots will list the persons nominated by the nominating committee, and will also provide for writing in names of other members of AAR.

  • E. No salary will be paid to a member of the Board of directors of AAR.


  • A. Members of AAR are those who have paid their dues, with the proviso that one can be as much as six months late and still be considered a member.

  • B. Dues will be $5 per year or $9 for a two-year membership or $12 for a three-year membership, with the proviso that the dues can be increased in any year by as much as 10% if the Board of Directors makes that decision. Payment of the CADE or IJCAR registration fee entitles the registrant to AAR membership. Payment of dues may be waived.


  • A. No regular meetings of the Board of Directors and/or the entire membership will be held; a special meeting can be held if requested by a majority (defined here as 75%) of the respective group. The president can also call meetings. Voting on any issue will be by mail.

  • B. A quorum is defined for the Board of Directors of AAR as 75%; for the entire membership, a quorum is also defined as 75%.

Books, Records, and Fiscal Items

  • A. The fiscal year will run from January 1 through December 31 of a calendar year.

  • B. The treasurer will maintain records and books to account for dues and expenses, such as the costs incurred in producing a newsletter.

  • C. The president will supervise the publication of the newsletter by the editor, and have all other powers permitted by law. The president is also required to appoint a nominating committee to consist of at least three members of AAR.

  • D. The secretary will maintain a file of all members and their status regarding dues and related matters, and will have all other duties and responsibilities assigned by the president to the secretary.

  • E. The vice-president will assume the duties of the president should the president be unable to carry out the assigned responsibilities of the office of president. The holder of the offices of president and vice-president must be from different countries.

  • F. AAR will in no way be responsible for any financial obligations for its subcorporations or affiliations, if any.

Authorization and Amendments

  • A. The treasurer is authorized to draw on the AAR funds to pay for any expenses; if the treasurer is unavailable, the secretary is given the authorization; if neither is available, the president has the authorization. The treasurer is also responsible for any duties assigned by the president to the treasurer.

  • B. These bylaws may be amended by a vote of 75% of the AAR members, and the consent may be transmitted by mail or electronic mail or FAX.