second call for papers and tutorials Tableaux'98
To: email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, M.Wagemans@kub.nl, email@example.com, firstname.lastname@example.org
Subject: second call for papers and tutorials Tableaux'98
From: "H. de Swart" <H.C.M.deSwart@kub.nl>
Date: Fri, 3 Oct 1997 13:53:21 MET
Delivery-Date: Fri, 03 Oct 1997 07:27:26 -0500
Organization: Tilburg University
Second CALL for PAPERS and TUTORIALS
Analytic Tableaux and Related Methods
Conference Centre Boschoord, Oisterwijk (near Tilburg),
May 5 - 8, 1998
This conference is a continuation of international workshops/conferences
on Theorem Proving with Analytic Tableaux and Related Methods held in
Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near
Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996)
and Pont-a-Mousson near Nancy (1997).
This conference has the scientific and financial support of the Department
of Philosophy of Tilburg University (the Netherlands), and is
- SUN Microsystems Nederland B.V.,
- the Dutch Graduate School in Logic.
Tableau methods have been found to be a convenient formalism for
automating deduction in various non-standard logics as well as in
classical logic. Areas of application include verification of software
and computer systems, deductive databases, knowledge representation
and its required inference engines, and system diagnosis.
The conference brings together researchers interested in all aspects
-- theoretical foundations, implementation techniques, systems
development and applications -- of the mechanisation of reasoning with
tableaux and related methods.
Topics of interest include (but are not restricted to):
- analytic tableaux for various logics (theory and applications);
- specific related techniques or concepts;
- related methods (model elimination, sequent calculi,
connection method, ...);
- new calculi and methods for theorem proving in classical and
non-classical logics (modal, intuitionistic, linear, temporal);
- systems, tools, implementations and applications.
- tableaux based theorem proving in temporal logics, in
particular, for verification purposes.
One or more TUTORIALS will be part of the conference program.
The Tableaux'98 conference will feature a COMPARISON of theorem
provers for intuitionistic and modal propositional logics. This
comparison is organized by Alain Heuerding (e-mail:
email@example.com) and Roy Dyckhoff (e-mail: firstname.lastname@example.org).
For information about this comparison see
CALL FOR PAPERS AND TUTORIALS
The conference will include contributed papers, tutorials, system
descriptions, a poster session and invited lectures. Submissions are
invited in three categories:
(A) Original research papers (up to 15 pages);
(B) Original papers about system descriptions (up to 5 pages);
(C) Tutorials in all areas of analytic tableaux and related methods
from academic research to applications (proposals up to 5 pages).
Papers in categories (A) and (B) will be reviewed by members of the
program committee. They must be unpublished and not submitted for
publication elsewhere. The cover page should include the name,
address, e-mail address and phone number of each author and the
The conference proceedings, consisting of papers accepted in
categories (A) and (B), will be published within the LNAI series of
Springer. Some papers may be accepted as position papers.
AD (C): Tutorial levels may be introductory, intermediate and advanced.
Novel topics and topics of broad interest are preferred. The
submission will take the form of a position paper (up to 5 pages)
and should include the title, the author, the topic of the tutorial,
its level, its relevance to conference topics, and a description of
the interest and the scientific contents of the proposed tutorial.
Proposals will be reviewed by members of the program committee.
Authors are requested to submit their papers or their proposals for
tutorials by e-mail in the form of Postscript files, preferably in
LaTeX llncs style, to the Program Chair before November 15, 1997:
Hardcopy submission is allowed for people without e-mail access.
Contributions for the COMPARISON in modal logics should be submitted
before November 1, 1997 to email@example.com and contributions for
the Comparison in intuitionistic logic before November 1, 1997 to
Deadline for submissions : November 15, 1997
(November 1 for the Comparison)
Notification of acceptance: January 21, 1998.
Final text : February 21, 1998.
- N.G. de Bruijn (Eindhoven Univ, NL)
- E. Clarke (Carnegie Mellon Univ, USA)
- M. d'Agostino (Ferrara Univ, Italy)
- K. Broda (Imperial College, London, UK)
- R. Dyckhoff (St Andrews Univ, UK)
- C. Fermueller (TU Wien, Austria)
- M. Fitting (CUNY, New York City, USA)
- U. Furbach (Koblenz Univ, Germany)
- D. Galmiche (LORIA, Nancy, France)
- R. Gore (Austr. National Univ, Australia)
- J. Goubault-Larrecq (GIE Dyade, France)
- R. Haehnle (Karlsruhe Univ, Germany)
- R. Hasegawa (Kyushu Univ, Japan)
- R. Letz (TU Munich, Germany)
- U. Moscato (Milan Univ, Italy)
- N. Murray (SUNY at Albany, USA)
- N. Olivetti (Torino Univ, Italy)
- D. Pearce (DFKI, Saarbruecken, Germany)
- J. Posegga (Deutsche Telekom, Germany)
- E. Rosenthal (Univ of New Haven, USA)
- P. Schmitt (Karlsruhe Univ, Germany)
- C. Schwind (LIM-CNRS, Marseille, France)
- H. de Swart (Tilburg Univ, The Netherlands) Chair
- P. Voda (Comenius Univ, Slovakia)
We expect to be able to provide a (very) limited number of grants for
students and for researchers from Eastern Europe. Applicants should
contact the PC chairman as soon as possible, sending a brief
curriculum vitae, a motivation and a recommendation letter.
OTHER INFORMATION Conference site
The city of Tilburg
Tilburg is a medium-sized modern town with around 183,000 inhabitants in
the south of the Netherlands close to the Belgian border. The city
grew out of a few small villages that specialized in textile in the
past. Nowadays a variety of industrial activities replaced the textile
industry and the town also developed a strong educational sector.
Tilburg is located in between the harbours of Rotterdam and Antwerp
and in between the capitals Amsterdam and Brussels. The culture is both
businesslike and relaxed. Tilburg has interesting museums such as the
famous museum of modern art `De Pont', the Netherlands Textile museum
and the `Natuurmuseum'. The town offers a wide variety of restaurants,
theaters and bars. It has beautiful surroundings with protected
nature areas such as the little lakes in Oisterwijk, the Kampina heath
and the inland dunes of Drunen.
The village of Oisterwijk
The conference centre Boschoord is located in Oisterwijk, a residential
but lively village, only a few kilometers from Tilburg and easily
accessible by train, bus and car. The conference centre, open since
1993, is next to a special scenic area with lakes and woods
offering excellent opportunities for walking and cycling.
SPONSORS and Scientific supports
- Department of Philosophy of Tilburg University, the Netherlands
- SUN Microsystems Nederland B.V.
- Dutch Graduate School in Logic
- E-mail: H.C.M.deSwart@kub.nl
- WWW: http://cwis.kub.nl/~fsw_2/fww/tab98.htm
- for the Comparison:
For any further information please contact:
Harrie de Swart
Section Logic and Analysis of Language
Department of Philosophy
P.O. Box 90153
5000 LE TILBURG
phone: (+31) 13 466 24 15/29 85
fax: (+31) 13 466 28 92