                 ASSOCIATION FOR AUTOMATED REASONING (AAR)

                              September 1993


The Association for Automated Reasoning, Inc. (AAR) is a small, informal,
international organization dedicated to the advancement of many aspects of
automated deduction.  The main activity of AAR is the (irregular) publication
of the AAR Newsletter, which contains research notes from members, calls for
papers, and announcements of upcoming events.


OFFICERS
   
   President:   Larry Wos
                MCS-221
                Argonne National Laboratory
                Argonne, IL  60439-4844
                U.S.A.
                (e-mail wos@mcs.anl.gov, phone 708-252-7224)
   
   Vice-President: 
                Hans Juergen Ohlbach
                Max-Planck-Institut fur Informatik
                Im Stadtwald
                D-6600 Saarbruecken 11
                GERMANY
                (e-mail: ohlbach@mpi-sb.mpg.de)
   
   Treasurer:   Lawrence Henschen
                Dept. of EECS
                Northwestern University
                Evanston, IL  60201
                U.S.A.
                (e-mail henschen@eecs.nwu.edu, phone 708-491-3338)
   
   Secretary:   Robert Veroff
                Dept. of Computer Science
                University of New Mexico
                Albuquerque, NM   87131
                U.S.A.
                (e-mail veroff@cs.unm.edu, phone 505-277-4231)
   
   
MEMBERSHIP
   
   Dues are $7.00 for one year, $13.00 for 2 years, and $18.00 for three
   years.  Members of AAR receive a substantial discount on subscriptions to
   the Journal of Automated Reasoning (JAR).
   
   To become a member of AAR, send dues to the secretary, payable in US
   dollars to "Association for Automated Reasoning".
   
   
OPTIONS FOR RECEIVING THE NEWSLETTER
   
   To get information to members more quickly and to save some costs, we give
   members the option of receiving the AAR newsletter by e-mail instead of on
   paper.  Also, we will make AAR newsletters available by anonymous FTP on
   info.mcs.anl.gov in pub/automated.reasoning.
   
   We assemble the newsletter with basic LaTeX, without any special style
   files or auxiliary postscript files, and we plan to make the LaTeX source
   file and the corresponding PostScript file available.  (We do not prepare
   plain ascii versions.)
   
   If you are interested, send a note with subject line "AAR news by e-mail"
   to the AAR secretary, indicating one of the following:
   
      (1) send LaTeX source for newsletters by email;
      (2) send postscript for newsletters by email; or
      (3) notify by e-mail when newsletters are available by FTP.
   
   If you opt for any of the above, you will not automatically receive the
   newsletter by ordinary mail.  We'll by happy to send a copy of a particular
   issue by ordinary mail if you request it.
   
   We will be especially grateful if members outside of the U.S.A. use the
   e-mail service, because airmail postage is quite expensive.
   
   
JOURNAL OF AUTOMATED REASONING (JAR)
   
   For information on subscribing to JAR, write to 
   
     Kluwer Academic Publishers Group
     P. O. Box 358
     Accord Station
     Hingham, MA  02018-0358
     U.S.A.
   
   or to 
   
     Kluwer Academic Publishers Group
     P. O. Box 322
     3300 AH Dordrecht
     THE NETHERLANDS
