Return-Path: Delivery-Date: Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 23 Sep 1993 14:34:49 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA25178; Thu, 23 Sep 93 06:25:53 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from sun2.nsfnet-relay.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA25174; Thu, 23 Sep 93 06:25:48 -0700 Via: uk.ac.edinburgh.aifh; Thu, 23 Sep 1993 14:25:38 +0100 Received: from achtriochtan.aisb.ed.ac.uk (achtriochtan-alter) by aisb.ed.ac.uk; Thu, 23 Sep 93 13:27:37 BST From: cade-12@aisb.ed.ac.uk Date: Thu, 23 Sep 93 13:27:32 BST Message-Id: <17514.9309231227@achtriochtan.aisb.ed.ac.uk> To: info-hol@cs.uidaho.edu Subject: CADE-12: Calls for Workshops & Tutorials Enclosed are the CADE-12 Calls for Workshops, Tutorials and Papers. Please distribute. Thank you. [ LaTeX, DVI and PostScript versions of these files are available by anonymous FTP from dream.dai.ed.ac.uk (192.41.104.168) in the directory /pub/cade-12. ] ----------------------------------------------------------------------- Twelfth International Conference on Automated Deduction Nancy, France Tutorials & Workshops: June 27 Conference: June 28-July 1, 1994 C A D E - 1 2 CALL FOR WORKSHOPS The CADE conferences are the major forum for the presentation of new research in all aspects of automated deduction. In conjunction with CADE-12 we hope to run several workshops. The workshops will be held, in parallel, on Monday 27th June and the main conference will be held from Tuesday 28th to Friday 1st July. Proposals for workshops are hereby 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 The CADE-12 workshops will be held at INRIA Lorraine and CRIN Campus Scientifique on Monday 27th June 1994. Following this the CADE-12 conference will be held at the Palais des Congr`es de Nancy, 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. Anyone wishing to organise a workshop in conjunction with CADE-12 should write to the Programme Chair by 1st December 1993 describing the topic of the proposed workshop; explaining why this topic is relevant to CADE; naming the organisers and specifying the workshop's format and length. Further information about the arrangements for workshops and submission of papers can be obtained from the Programme Chair. Other 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 ---------------------------------------------------------------------- Twelfth International Conference on Automated Deduction Nancy, France Tutorials & Workshops: June 27 Conference: June 28-July 1, 1994 C A D E - 1 2 CALL FOR TUTORIALS The CADE conferences are the major forum for the presentation of new research in all aspects of automated deduction. In conjunction with CADE-12 we plan to run several tutorials. The tutorials will be held, in parallel, on Monday 27th June and the main conference will be held from Tuesday 28th to Friday 1st July. Proposals for tutorials are hereby 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 The CADE-12 tutorials will be held at INRIA Lorraine and CRIN Campus Scientifique on Monday 27th June 1994. Following this the CADE-12 conference will be held at the Palais des Congr`es de Nancy, 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. Anyone wishing to give a tutorial in conjunction with CADE-12 should write to the Programme Chair by 1st December 1993 describing the topic of the proposed tutorial; explaining why this topic is relevant to CADE; naming the speakers and specifying the tutorial's length. The default length is 2 hours. Further information about the arrangements for tutorials, workshops and the submission of papers can be obtained from the Programme Chair. Other 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 ---------------------------------------------------------------- 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