Delivery-Date: 
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
From: Miki Hermann <Miki.Hermann@loria.fr>
Message-Id: <9308302036.AA00461@goncourt.loria.fr>
Subject: CADE-12 in 1994 (CFP ASCII)
Date: Mon, 30 Aug 1993 22:36:37 +0200 (MET DST)
To: cade-12@loria.fr

----------------------------------------------------------------

     The Twelfth International Conference on Automated Deduction

                            Nancy, France
                         June 28-July 1, 1994
                                   
		      CADE-12:  Call for Papers
                                   
The CADE conferences are the major forum for the presentation of new
research in all aspects of automated deduction.  Original research
papers, descriptions of working reas- oning systems, and problem sets
that provide innovative, challenging tests for automated reasoning
systems, are solicited.

CADE conferences cover all aspects of automated deduction:

    First vs. Higher Order Logics            Classical vs. Non-Classical Logics
    Special vs. General Purpose Inference    Interactive vs. Automatic Systems

Specific topics of interest include (but are not limited to):

    Resolution  Sequent Calculus        Decision Procedures
    Unification Rewrite Rules           Mathematical Induction

and any applications of automated deduction, including:

    Deductive Databases         Logic and Functional Programming
    Commonsense Reasoning       Software and Hardware Development

CADE-12 will be held at the Palais des Congres de Nancy and will be
sponsored by CADE Inc. and hosted by INRIA and CRIN.  Following
CADE-12, the LICS-94 conference will be held in Paris, France from
July 4-7, 1994.  A sight-seeing trip to Dijon will link the two
conferences.  The Proceedings of CADE-12 will be published by
Springer-Verlag in their Lecture Notes in Artificial Intelligence
Series.  Research papers should not exceed 15 (fifteen) proceedings
pages.  System descriptions and problem sets should not exceed 5
(five) proceedings pages.  Springer style files should be used if
possible; send an email with contents "HELP" to
svserv@dhdspri6.bitnet.  Alternatively, FTP anonymously from
dream.dai.ed.ac.uk (see instructions in pub/cade-12/README).

        The title page of the submission should include the name, address
(with email if possible) and telephone number of each author.  Papers
must be unpublished and not submitted for publication elsewhere.
Submissions which are late, too long, or which require major revision,
will not be considered.

          +-----------------------------------------------+
          | Submission deadline: December 1, 1993         |
          | Notification of acceptance: February 14, 1994 |
          | Camera-ready copy due: March 29, 1994         |
          +-----------------------------------------------+

        Authors should send 4 (four) copies of their submission to the
Programme Chair.  Further information about the conference may be
obtained from the Local Arrangements Chair.

        Programme Chair              Local Arrangements Chair

        Alan Bundy                   Claude Kirchner
        Department of Artificial     INRIA Lorraine & CRIN
          Intelligence               Campus scientifique
        University of Edinburgh      615, rue du Jardin Botanique
        80 South Bridge              BP101
        Edinburgh EH1 1HN            54602 Villers-les-Nancy CEDEX
        Scotland                     France
                                     
        Tel: [+44] 31-650-2716       Tel: [+33] 83 59 30 26
        Fax: [+44] 31-650-6516       Fax: [+33] 83 27 83 19
        Email: cade-12@ai.ed.ac.uk   Email: cade-12@loria.fr
----------------------------------------------------------------