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