From: posegga@margaux.ira.uka.de (Joachim Posegga)
Newsgroups: de.sci.ki.announce
Subject: CFP: WS on Theorem Proving with Analytic Tableaux and Related Methods
Date: 19 Aug 92 11:43:35
Organization: Karlsruhe University, Dept of Comp Science, FRG
Distribution: world
NNTP-Posting-Host: i12s3.ira.uka.de






                           Call for Submissions



                                Workshop on


                  Theorem Proving with Analytic Tableaux

                            and Related Methods



                      Marseille, France, April 28-30, 1993


This workshop is a continuation of a workshop on the same topic held
in Lautenbach near Karlsruhe (Germany) in March 1992 that had
remarkable international participation (1). 


Topics of Interest

Given the increased interest in tableaux-based theorem proving, this
workshop intends to bring together researchers interested in the
mechanisation of reasoning with tableaux and related systems.
By this we include (not exclusively):


               o analytic tableaux            o model elimination
               o connection method            o matings


The workshop has a dual focus, bringing together


   o people who develop tableaux-like calculi for eventual
     implementation on computers and

   o people who already are involved in the practical implementation
     of tableaux-like calculi. 


Hence the focus includes both theoretical work and the presentation of
implementation techniques and related practical experience. We are
particularly interested in presentations of provers already
used in applications or developed with applications in mind. Talks
about theorem  proving in non-classical logics are also welcome.


Submission of Papers


Authors are invited to submit 4 copies of an extended abstract of about three
pages or a full paper (about 5000 words) in English before

                       November 30, 1992

to Reiner H"ahnle.  The submitted papers need not to be original.
They will be refereed by the program committee and all selected
abstracts/papers will be published as a technical report.
If sufficient original research papers of high quality are submitted,
an attempt will be made to publish revised versions in a book or
journal special edition. Therefore please indicate if your
submission is already published or submitted elsewhere.


________________________________
(1) A technical report containing the extended abstracts of this
workshop is available from Thomas K"aufl, Inst. f"ur
Logik, Komplexit"at und Deduktionssysteme, Universit"at Karlsruhe, Am
Fasanengarten 5, 7500 Karlsruhe 1, Germany
^L



Further Information


The conference language is English and presentations should not
exceed 25 minutes.  Each talk will be followed by a discussion of 10
minutes. The workshop is planned for at most 30 talks.
Notification of acceptance will be sent by the middle of February
1993. Computers will be available at the workshop site. Contact
Camilla Schwind for details. 



Workshop fees: FF 600 (approximately US $ 120)

Program Committee                         Invited speakers:

David Basin, MPI Saarbr"ucken             Melvin Fitting, CUNY
Bertram Fronh"ofer, TU Munich             Mark Stickel, SRI International
Masayuki Fujita, Mitsubishi Inc.
Reiner H"ahnle, University Karlsruhe
Thomas K"aufl, University Karlsruhe
Don Loveland, Duke University             Organising Committee
Neil Murray, University at Albany         Camilla Schwind, CNRS - GIA, Marseille
Joachim Posegga, University Karlsruhe     Bertram Fronh"ofer, TU Munich
Peter Schmitt, University Karlsruhe       Reiner H"ahnle, University Karlsruhe
Camilla Schwind, CNRS - GIA, Marseille    Joachim Posegga, University Karlsruhe
Graham Wrightson, Newcastle University    David Basin, MPI Saarbr"ucken



Workshop Addresses


Submissions, conference details:          Local arrangements:

Reiner H"ahnle                            Camilla Schwind
Institut f"ur Logik, Komplexit"at         Dep. d'Informatique
und Deduktionssysteme                     Fac. des Sciences de Luminy
Universit"at Karlsruhe                    163, av. de Luminy - Case 901
Am Fasanengarten 5                        13288 Marseille Cedex 9, France
7500 Karlsruhe 1, Germany                 Fax: ++33 - 91 26 92 75

Fax: ++49 - 721 - 69 77 60                Phone: ++33 - 91 26 90 70
Phone: ++49 - 721 - 608 - 43 29           Email: schwind@gia.univ-mrs.fr
Email: reiner@ira.uka.de