[Prev][Next][Index][Thread]

CADE-11



Date: Tue, 5 Mar 91 14:25:47 -0500

          11-th International Conference on Automated Deduction

                        Saratoga Springs, NY   USA
                             June 14-18, 1992

                         PRELIMINARY  ANNOUNCEMENT


     CADE  is  the  major  research  forum  covering  all  aspects  of
     automated deduction.  Original papers in automated deduction (for
     nonclassical as well as classical logics) are  invited;  specific
     topics of interest include (but are not limited to):

     Applications           Induction               Program Synthesis
     Abductive Reasoning    Inference Systems       Rewrite Rules
     Deductive Databases    Logic Programming       Theorem Proving
     Decision Procedures    Program Verification    Unification Theory


          CADE-11 will be held at  the  Ramada  Renaissance  Hotel  in
     Saratoga Springs, NY and will be hosted by the  State  University
     of New York at Albany.  Saratoga  Springs  is  located  about  25
     miles (40 km) north of the Albany airport.

          Original research papers,  system  summaries  that  describe
     working  reasoning systems, and problem sets that provide innova-
     tive, challenging tests for automated reasoning systems, are sol-
     icited.   Research  papers should not exceed 5000 words in length
     (about 15 proceedings pages).  System summaries and problem  sets
     will be limited to two and five proceedings pages, respectively.

          The title page of the  submission  should  include  author's
     name,  address,  phone  number, and email address. Papers must be
     unpublished and not submitted for publication elsewhere.  Submis-
     sions  that  are  late, too long, or that require major revision,
     risk rejection.

          Authors should send 6 copies of their submission to the Pro-
     gram Chair.

            Program Chair               Local Arrangements Chair
        _____________________         ____________________________
         Deepak Kapur                  Neil V. Murray
         (518) 442-4281                (518) 442-3393
         kapur@cs.albany.edu           nvm@cs.albany.edu

                   Institute for Programming and Logics
                Department of Computer Science   CSI LI67A
                  State University of New York at Albany
                            Albany, NY  12222


          Preliminary inquiries may be sent to the Program  or  to the
     Local  Arrangements  Chair.   The  Program  Committee, submission
     deadline, notification date, and camera-ready copy due date  will
     be announced in a future mailing.