[comp.ai] 11-th Int. Conf. on Automated Deduction Call for Papers

sally@cs.albany.edu (Sally Goodall) (06/11/91)

          11-th International Conference on Automated Deduction
                         Saratoga Springs, NY   USA
                              June 15-18, 1992

                              CALL FOR PAPERS

   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
   Commonsense 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 north of Albany.

   Original research  papers, descriptions of working  reasoning systems,  
   and  problem  sets  that  provide innovative,  challenging  tests  for 
   automated reasoning systems, are solicited. Research papers should not
   exceed 7000 words in length (15 proceeding pages,  5.5 X 8 inches,  11
   point type, will  be  allotted).  System descriptions and problem sets 
   should be limited to five proceeding pages.

   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.  Submissions  that  are
   late,  too  long,  or  that   require  major  revision,  will  not  be 
   considered.
                Submission deadline:          Nov. 8, 1991
                Notification of acceptance:   Feb. 1, 1992
                Camera-ready copy due:        March 16, 1992

   Authors should send 6 copies of their submission to the  Program Chair
   at the Conference address.

   Further  information about the  conference may  be  obtained from  the
   Local Arrangements Chair at the Conference address.

   Program Chair:               Deepak Kapur (518) 442-4281 
                                cade11@cs.albany.edu

   Local Arrangements Chair:    Neil V. Murray (518) 442-3393
                                cade11@cs.albany.edu

   Conference Address:          CADE-11
                                Institute for Programming and Logics
                                Department of Computer Science  LI67A
                                University at Albany - SUNY
                                Albany, NY 12222

                             PROGRAM COMMITTEE

   Peter Andrews           Larry Henschen            William McCune
   Wolfgang Bibel          Deepak Kapur              Grigori Mints
   W.W. Bledsoe            Claude Kirchner           David Musser
   Robert S. Boyer         Kurt Konolige             Hans-Juergen Ohlbach
   Alan Bundy              Jean-Louis Lassez         David Plaisted
   Edmund Clarke           Vladimir Lifschitz        Joerg Siekmann
   Robert Constable        Donald Loveland           John Slaney
   Ryuzo Hasegawa          Ewing Lusk                Mark Stickel