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; Mon, 30 Aug 1993 23:50:25 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA09740; Mon, 30 Aug 93 15:37:19 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from chenas.inria.fr by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA09736; Mon, 30 Aug 93 15:37:12 -0700 Received: from loria.loria.fr by chenas.inria.fr (5.65c8d/92.02.29) via Fnet-EUnet id AA27042; Tue, 31 Aug 1993 00:28:10 +0200 (MET) Received: from goncourt.loria.fr by loria.loria.fr with SMTP id AA02736 (5.65c+/IDA-1.4.3 for jks@arp.anu.oz.au); Mon, 30 Aug 93 23:48:02 +0200 Received: by goncourt.loria.fr id AA00743 (5.65c+/IDA-1.4.3 for cade-12@loria.fr); Mon, 30 Aug 93 23:48:33 +0200 From: Miki Hermann Message-Id: <9308302148.AA00743@goncourt.loria.fr> Subject: CADE-12 in 1994 (Workshops: ASCII) Date: Mon, 30 Aug 1993 23:48:32 +0200 (MET DST) To: cade-12@loria.fr X-Mailer: fastmail [version 2.4 PL22] Twelfth International Conference on Automated Deduction Nancy, France Workshops: June 27 Conference: June 28-July 1, 1994 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 Intelligence INRIA Lorraine & CRIN University of Edinburgh Campus scientifique 80 South Bridge 615, rue du Jardin Botanique Edinburgh EH1 1HN BP101 Scotland 54602 Villers-les-Nancy CEDEX 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