From stever@dcs.qmw.ac.uk Mon Oct 4 21:10:07 EDT 1993 Article: 19026 of comp.ai Xref: honeydew.srv.cs.cmu.edu comp.ai:19026 Newsgroups: comp.ai Path: honeydew.srv.cs.cmu.edu!magnesium.club.cc.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!pipex!uknet!qmw-dcs!redstar.dcs.qmw.ac.uk!stever From: stever@dcs.qmw.ac.uk (Steve Reeves) Subject: CFP : Tableau Workshop Message-ID: Sender: usenet@dcs.qmw.ac.uk (Usenet News System) Organization: Computer Science Dept, QMW, University of London, UK. X-Newsreader: TIN [version 1.1 PL8] Date: Thu, 30 Sep 1993 12:09:22 GMT Lines: 128 CALL FOR PAPERS THIRD WORKSHOP ON THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS Abingdon, near Oxford, U.K., May 4-6, 1994 This workshop is a continuation of workshops on the same topic held in Lautenbach near Karlsruhe (1992) and Marseille (1993). Each had a wide international participation. Topics of Interest ------------------ Given the increased interest in tableau-based theorem proving, this workshop intends to bring together researchers interested in the mechanisation of reasoning with tableaux and related systems. Included (but not exclusively) will be: - analytic tableaux - model elimination - connection method - sequent calculi The workshop has a dual focus, bringing together: - people who develop tableau-like calculi for classical and non-classical logics; - people who are involved in the practical implementation of tableau-like calculi. Hence, the focus will be on both theoretical work and the presentation of implementation techniques and related practical experience. Submission of Papers -------------------- Authors are invited to submit four copies of a short paper (at most seven pages) or four copies of a long paper (at most 15 pages) in English before --------------------- November 22th, 1993 --------------------- to Marcello D'Agostino. The papers will be refereed by the programme committee and all accepted papers will be printed in a technical report. Publication of the Contributions -------------------------------- Accepted papers will be considered for publication in a special volume intended for the Oxford University Press series Studies in Logic and Computation (subject to approval by the publishing house). Selected papers will be recommended for publication in the Journal of Logic and Computation, subject to further (quick) reviewing. Further Information ------------------- The conference language is English and presentation will not exceed 30 minutes. Each talk will be followed by a discussion of 10 minutes. The workshop is planned for at most 40 talks. Notification of acceptance will be sent by the middle of February 1994. Contact Steve Reeves for details. The workshop registration fee will be 90.00 pounds. Invited Speakers ---------------- Jaakko Hintikka, University of Boston, U.S.A. Bob Kowalski, Imperial College, University of London, U.K. Organising Committee -------------------- Marcello D'Agostino, Imperial College, University of London, U.K. Rajeev Gore, University of Manchester, U.K. Rob Johnson, QMW, University of London, U.K. Steve Reeves, QMW, University of London, U.K. Publication Coordinator ----------------------- Dov Gabbay, Imperial College, University of London, U.K. Programme Committee ------------------- David Basin, MPI Saarbrueken, Germany Krysia Broda, Imperial College, University of London, U.K. Marcello D'Agostino, Imperial College, University of London, U.K. Melvin Fitting, CUNY, U.S.A. Dov Gabbay, Imperial College, University of London, U.K. Rajeev Gore, University of Manchester, U.K. Wilfrid Hodges, QMW, University of London, U.K. Reiner Haehnle, University of Karlsruhe, Germany Neil Murray, Albany, U.S.A. Joachim Posegga, University of Karlsruhe, Germany Steve Reeves, QMW, University of London, U.K. Peter Schmitt, University of Karlsruhe, Germany Camilla Schwind, CNRS-GIA, University of Marseille, France Lincoln Wallen, University of Oxford, U.K. Graham Wrightson, University of Newcastle, Australia Workshop Addresses ------------------ Submissions Conference details ----------- ------------------ Marcello D'Agostino, Steve Reeves Department of Computing Department of Computer Science Imperial College QMW University of London University of London LONDON LONDON SW7 2BZ E1 4NS UK UK Phone: +44 71 589 5111 ext. 4983 Phone: +44 71 975 5237 Fax: +44 71 581 8024 Fax: +44 81 980 6533 Email: mda@doc.ic.ac.uk Email: stever@dcs.qmw.ac.uk The workshop is being sponsored by the Science and Engineering Research Council of the U.K. Article 4852 of news.announce.conferences: Xref: crabapple.srv.cs.cmu.edu news.announce.conferences:4852 Newsgroups: news.announce.conferences Path: crabapple.srv.cs.cmu.edu!fs7.ece.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.reston.ans.net!pipex!uunet!sparky!rick From: stever@dcs.qmw.ac.uk (Steve Reeves) Subject: CFP: Third Workshop on Theorem Proving With Analytic Tableaux and Related Methods Message-ID: <1993Oct3.190142.29763@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Computer Science Dept, QMW, University of London, UK. Date: Sun, 3 Oct 1993 19:01:42 GMT Approved: rick@sparky.sterling.com Expires: Tue, 23 Nov 1993 08:00:00 GMT Lines: 126 X-Md4-Signature: 089161f1d8836180232dbd6f8195aafc CALL FOR PAPERS THIRD WORKSHOP ON THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS Abingdon, near Oxford, U.K., May 4-6, 1994 This workshop is a continuation of workshops on the same topic held in Lautenbach near Karlsruhe (1992) and Marseille (1993). Each had a wide international participation. Topics of Interest ------------------ Given the increased interest in tableau-based theorem proving, this workshop intends to bring together researchers interested in the mechanisation of reasoning with tableaux and related systems. Included (but not exclusively) will be: - analytic tableaux - model elimination - connection method - sequent calculi The workshop has a dual focus, bringing together: - people who develop tableau-like calculi for classical and non-classical logics; - people who are involved in the practical implementation of tableau-like calculi. Hence, the focus will be on both theoretical work and the presentation of implementation techniques and related practical experience. Submission of Papers -------------------- Authors are invited to submit four copies of a short paper (at most seven pages) or four copies of a long paper (at most 15 pages) in English before --------------------- November 22th, 1993 --------------------- to Marcello D'Agostino. The papers will be refereed by the programme committee and all accepted papers will be printed in a technical report. Publication of the Contributions -------------------------------- Accepted papers will be considered for publication in a special volume intended for the Oxford University Press series Studies in Logic and Computation (subject to approval by the publishing house). Selected papers will be recommended for publication in the Journal of Logic and Computation, subject to further (quick) reviewing. Further Information ------------------- The conference language is English and presentation will not exceed 30 minutes. Each talk will be followed by a discussion of 10 minutes. The workshop is planned for at most 40 talks. Notification of acceptance will be sent by the middle of February 1994. Contact Steve Reeves for details. The workshop registration fee will be 90.00 pounds. Invited Speakers ---------------- Jaakko Hintikka, University of Boston, U.S.A. Bob Kowalski, Imperial College, University of London, U.K. Organising Committee -------------------- Marcello D'Agostino, Imperial College, University of London, U.K. Rajeev Gore, University of Manchester, U.K. Rob Johnson, QMW, University of London, U.K. Steve Reeves, QMW, University of London, U.K. Publication Coordinator ----------------------- Dov Gabbay, Imperial College, University of London, U.K. Programme Committee ------------------- David Basin, MPI Saarbrueken, Germany Krysia Broda, Imperial College, University of London, U.K. Marcello D'Agostino, Imperial College, University of London, U.K. Melvin Fitting, CUNY, U.S.A. Dov Gabbay, Imperial College, University of London, U.K. Rajeev Gore, University of Manchester, U.K. Wilfrid Hodges, QMW, University of London, U.K. Reiner Haehnle, University of Karlsruhe, Germany Neil Murray, Albany, U.S.A. Joachim Posegga, University of Karlsruhe, Germany Steve Reeves, QMW, University of London, U.K. Peter Schmitt, University of Karlsruhe, Germany Camilla Schwind, CNRS-GIA, University of Marseille, France Lincoln Wallen, University of Oxford, U.K. Graham Wrightson, University of Newcastle, Australia Workshop Addresses ------------------ Submissions Conference details ----------- ------------------ Marcello D'Agostino, Steve Reeves Department of Computing Department of Computer Science Imperial College QMW University of London University of London LONDON LONDON SW7 2BZ E1 4NS UK UK Phone: +44 71 589 5111 ext. 4983 Phone: +44 71 975 5237 Fax: +44 71 581 8024 Fax: +44 81 980 6533 Email: mda@doc.ic.ac.uk Email: stever@dcs.qmw.ac.uk The workshop is being sponsored by the Science and Engineering Research Council of the U.K.