home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / ai / 4185 < prev    next >
Encoding:
Internet Message Format  |  1992-11-07  |  4.6 KB
  1. Xref: sparky comp.ai:4185 comp.theory:2356 de.sci.ki.announce:30
  2. Path: sparky!uunet!gatech!darwin.sura.net!zaphod.mps.ohio-state.edu!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!ira.uka.de!uka!reiner
  3. From: reiner@ira.uka.de (Reiner Haehnle)
  4. Newsgroups: comp.ai,comp.theory,de.sci.ki.announce
  5. Subject: CFP Workshop on Tableau-based Deduction (Udated,ASCII)
  6. Date: 6 Nov 1992 16:07:17 GMT
  7. Organization: University of Karlsruhe, Comp. Sc. Dept., FRG
  8. Lines: 131
  9. Message-ID: <1de57lINNdhn@iraul1.ira.uka.de>
  10. NNTP-Posting-Host: i12s1.ira.uka.de
  11.  
  12.  
  13. Dear Colleague,
  14.  
  15. please distribute the follwoing CFP as widely as possible.
  16.  
  17.  
  18.  
  19.                             Call for Submissions
  20.  
  21.  
  22.  
  23.                                 Workshop on
  24.  
  25.  
  26.                   Theorem Proving with Analytic Tableaux
  27.  
  28.                             and Related Methods
  29.  
  30.  
  31.  
  32.                       Marseille, France, April 28-30, 1993
  33.  
  34.  
  35. This workshop is a continuation of a workshop on the same topic held
  36. in Lautenbach near Karlsruhe (Germany) in March 1992 that had
  37. remarkable international participation (1). 
  38.  
  39.  
  40. Topics of Interest
  41.  
  42. Given the increased interest in tableaux-based theorem proving, this
  43. workshop intends to bring together researchers interested in the
  44. mechanisation of reasoning with tableaux and related systems.
  45. By this we include (not exclusively):
  46.  
  47.  
  48.                o analytic tableaux            o model elimination
  49.                o connection method            o matings
  50.  
  51.  
  52. The workshop has a dual focus, bringing together
  53.  
  54.  
  55.    o people who develop tableaux-like calculi for eventual
  56. implementation on computers and
  57.  
  58.    o people who already are involved in the practical implementation
  59. of tableaux-like calculi. 
  60.  
  61.  
  62. Hence the focus includes both theoretical work and the presentation of
  63. implementation techniques and related practical experience. We are
  64. particularly interested in presentations of provers already
  65. used in applications or developed with applications in mind. Talks
  66. about theorem  proving in non-classical logics are also welcome.
  67.  
  68.  
  69. Submission of Papers
  70.  
  71.  
  72. Authors are invited to submit 4 copies of an extended abstract of about three
  73. pages or a full paper (about 5000 words) in English before
  74.  
  75.                        November 30, 1992
  76.  
  77. to Reiner H"ahnle. The submitted papers need not to be original; please indicate
  78. if your submission is already published or submitted elsewhere. All
  79. papers will be refereed by the program committee and all selected
  80. abstracts/papers will be published as a technical report.
  81.  
  82. *** The program committee will propose selected papers for publication
  83. in a special edition of the Journal of Automated Reasoning. ***
  84.  
  85.  
  86. ________________________________
  87. (1) A technical report containing the extended abstracts of this
  88. workshop is available from Thomas K"aufl, Inst. f"ur
  89. Logik, Komplexit"at und Deduktionssysteme, Universit"at Karlsruhe, Am
  90. Fasanengarten 5, 7500 Karlsruhe 1, Germany, e-mail: kaeufl@ira.uka.de.
  91.  
  92.  
  93.  
  94.  
  95.  
  96. Further Information
  97.  
  98.  
  99. The conference language is English and presentations should not
  100. exceed 25 minutes.  Each talk will be followed by a discussion of 10
  101. minutes. The workshop is planned for at most 30 talks.
  102. Notification of acceptance will be sent by the middle of February
  103. 1993. Computers will be available at the workshop site. Contact
  104. Camilla Schwind for details. 
  105.  
  106.  
  107.  
  108. Workshop fees: FF 600 (approximately US $ 120)
  109.  
  110. Program Committee                         Invited speakers:
  111.  
  112. David Basin, MPI Saarbr"ucken             Melvin Fitting, CUNY
  113. Bertram Fronh"ofer, TU Munich             Mark Stickel, SRI International
  114. Masayuki Fujita, Mitsubishi Inc.
  115. Reiner H"ahnle, University Karlsruhe
  116. Thomas K"aufl, University Karlsruhe
  117. Don Loveland, Duke University             Organising Committee
  118. Neil Murray, University at Albany         Camilla Schwind, CNRS - GIA, Marseille
  119. Joachim Posegga, University Karlsruhe     Bertram Fronh"ofer, TU Munich
  120. Peter Schmitt, University Karlsruhe       Reiner H"ahnle, University Karlsruhe
  121. Camilla Schwind, CNRS - GIA, Marseille    Joachim Posegga, University Karlsruhe
  122. Graham Wrightson, Newcastle University    David Basin, MPI Saarbr"ucken
  123.  
  124.  
  125.  
  126. Workshop Addresses
  127.  
  128.  
  129. Submissions, conference details:          Local arrangements:
  130.  
  131. Reiner H"ahnle                            Camilla Schwind
  132. Institut f"ur Logik, Komplexit"at         Dep. d'Informatique
  133. und Deduktionssysteme                     Fac. des Sciences de Luminy
  134. Universit"at Karlsruhe                    163, av. de Luminy - Case 901
  135. Am Fasanengarten 5                        13288 Marseille Cedex 9, France
  136. 7500 Karlsruhe 1, Germany                 Fax: ++33 - 91 26 92 75
  137.  
  138. Fax: ++49 - 721 - 69 77 60                Phone: ++33 - 91 26 90 70
  139. Phone: ++49 - 721 - 608 - 43 29           Email: schwind@gia.univ-mrs.fr
  140. Email: reiner@ira.uka.de
  141.  
  142.  
  143.