🚀 go-pugleaf

From: "Hans Juergen Ohlbach" <ohlbach@uklirb.uucp>
To: mod-ki@unido.uucp
Date: Tue, 25 Jul 89 16:12:46 MET DST
Subject: CADE 90
Keywords: Konferenzen

mod-ki message 0265
************************************************************************

                               CADE-10
 
        10th International Conference on Automated Deduction
 
              University of Kaiserslautern, West Germany
                          July 23-27, 1990
 
                          Call for Papers

CADE is the major forum at which research on all  aspects  of  automated
deduction can be presented. Papers on automated deduction (for classical
and nonclassical logics) in the following and related fields are invited:
 
Theorem Proving          Decision Procedures     Logic Programming
Unification      Program Verification/Synthesis  Inference Systems
Term Rewriting           Deductive Databases     Applications
 
 
                          Program Committee

Peter Andrews            Claude Kirchner         William Pase
Wolfgang Bibel           Jean-Louis Lassez       Lawrence Paulson
W.W. Bledsoe             Donald Loveland         Fernando Pereira
Alan Bundy               Ewing Lusk              David Plaisted
Robert Constable         Michael McRobbie        Joerg Siekmann
Jean-Pierre Jouannaud    Dale Miller             Mark Stickel, Chairman
Deepak Kapur             Hans Juergen Ohlbach    Richard Waldinger
Matt Kaufmann            Ross Overbeek           Christoph Walther


Original research papers (up to 5,000 words; 15 proceedings pages, 6 X 9
inches, 12 point type, will be allotted) are solicited.  Also  solicited
are  system  summaries  that  describe  working  reasoning   systems  (2
proceedings pages) and problem sets that provide realistic,  interesting
challenges for automated reasoning systems (5  proceedings  pages).  The
title page of the submission  should  include  author's  name,  address,
phone number, and E-mail address.  Papers must be  unpublished  and  not
submitted  for  publication  elsewhere.  Late  papers  and  papers  that
require major revision, including submissions that are too long, will be
rejected.

    Submission receipt deadline:      November 27, 1989
     Author notification date:        February 15, 1990
 Camera-ready copy receipt deadline:  April 2, 1990
 
Six paper copies should be sent to arrive by November 27, 1989 to
 
                          Mark E. Stickel
                   Artificial Intelligence Center
                         SRI International
                       333 Ravenswood Avenue
                    Menlo Park, CA 94025  U.S.A.

Responsible for local arrangements are
 
   Hans Juergen Ohlbach              Hans-Juergen Buerckert
   FB Informatik                     Deutsches Forschungszentrum fuer
   University of Kaiserslautern      Kuenstliche Intelligenz GmbH (DFKI)
   Postf. 3049                       Postfach 2080
   D-6750 Kaiserslautern             D-6750 Kaiserslautern
   West Germany                      West Germany

Inquiries about CADE can also be sent by electronic mail to
Stickel@AI.SRI.COM, ohlbach@uklirb.uucp or buerkert@uklirb.uucp
************************************************************************