**** EXTENDED DEADLINE ****
Call for Papers
TABLEAUX 2002
Automated Reasoning with Analytic Tableaux and Related Methods
(in the frame of FloC 2002)
July 30 - August 1, 2002
Copenhagen, Denmark
http://floc02.diku.dk/TABLEAUX
This conference is a continuation of international meetings on
Automated Reasoning 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),
Pont-a-Mousson (near Nancy) (1997), Oisterwijk (near Tilburg) (1998),
Saratoga Springs (near Albany NY) (1999), and St Andrews (2000). In 2001,
TABLEAUX was part of IJCAR in Siena.
The conference brings together researchers interested in all
aspects---theoretical foundations, implementation and experimental techniques,
systems development and applications---of the mechanization of reasoning with
analytic tableaux and related methods.
TOPICS of interest include (but are not restricted to):
- analytic tableaux for various logics (theory and applications)
- related techniques and concepts (e.g., model checking, BDD's)
- related methods (model elimination, sequent calculi, connection
method, inverse method, ...)
- new calculi and deduction methods in classical
and non-classical logics (description, modal, intuitionistic,
linear, temporal, ...)
- systems, tools, implementations and applications (e.g., verification)
SUBMISSIONS are invited in the following categories:
A full papers (experimental or theoretical research; up to 15 pages)
B system descriptions (up to 5 pages)
C position papers and reports on work in progress (up to 15 pages)
Full papers (A) and system descriptions (B) must be original and not
submitted concurrently for publication to a journal or to another
conference or workshop with published proceedings. Submissions of
category (C) should report on work that is still in progress, but
sufficiently matured to warrant attention.
Accepted papers of categories (A) and (B) will be published in
Springer's LNAI series. The proceedings will be available at the
conference. Accepted papers of category (C) will be available as a
Technical Report of the Vienna University of Technology and on the
Internet.
HOW TO SUBMIT
All submissions should be prepared in LaTeX2e llncs style
(http://www.springer.de/comp/lncs/authors.html). Papers should be
submitted in plain postscript format (without encoding) through a
special submission page
http://www.logic.at/TAB02
For authors without Internet access, submission of hard copies is possible.
Tableaux 2002
Abt. Wissensbasierte Systeme 184/3
TU Wien
Favoritenstr. 9-11
A-1040 Wien (Austria)
IMPORTANT DATES
NEW Paper registration: February 05, 2002
NEW Paper submission: February 09, 2002
Notification of acceptance: March 29, 2002
Camera-ready copy: May 10, 2002
INVITED SPEAKERS
M. Baaz (TU Wien) joint speaker TABLEAUX/CADE
D. Miller (Penn State)
PROGRAM COMMITTEE
P. Baumgartner (Koblenz) B. Beckert (Karlsruhe)
M. D'Agostino (Ferrara) R. Dyckhoff (St Andrews)
U. Egly (co-chair, Wien) C. Fermueller (co-chair, Wien)
M. Fitting (New York) D. Galmiche (Nancy)
R. Gore (Canberra) J. Goubault-Larrecq (Cachan)
R. Haehnle (Chalmers) I. Horrocks (Manchester)
C. Kreitz (Ithaca) R. Letz (Muenchen)
F. Massacci (Siena) N. Murray (Albany)
N. Olivetti (Torino)
