🚀 go-pugleaf

From: ohlbach@informatik.uni-kl.de (Hans Juergen Ohlbach)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Mon, 6 May 91 8:57:27 MET DST
Subject: <mod-ki 0697>  Conference on Automated Deduction (CADE 11)
Keywords: Konferenzen

mod-ki message 0697
************************************************************************
          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
                            kapur@cs.albany.edu

Local Arrangements Chair:   Neil V. Murray (518) 442-3393
                            nvm@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
************************************************************************