Logic List Mailing Archive
Tableaux 2005 (Koblenz, Germany, Sep 2005)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Call for Papers and Call for Tutorials %%
%% TABLEAUX 2005 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
International Conference
TABLEAUX 2005
Automated Reasoning with
Analytic Tableaux and Related Methods
Koblenz, Germany
September 14-17, 2005
Co-located with FTP2005
http://tableaux2005.uni-koblenz.de
IMPORTANT DATES
Tutorial proposal submission deadline: March 31, 2005
Notification of acceptance of tutorials: April 10, 2005
Paper submission deadline: April 30, 2005
Notification of acceptance of papers: June 25, 2005
Final version of papers due: July 10, 2005
Conference: September 14-17, 2005
GENERAL INFORMATION
This conference is a continuation of international meetings on
Automated Reasoning with Analytic Tableaux and Related Methods held
1992 in Lautenbach (Germany), 1993 in Marseille (France), 1994 in
Abingdon (UK), 1995 in St. Goar (Germany), 1996 in Terrasini
(Italy), 1997 in Pont-?-Mousson (France), 1998 in Oisterwijk
(Netherlands), 1999 in Saratoga Springs (USA), 2000 in St Andrews
(Scotland), 2002 in Copenhagen (Denmark), and 2003 in Rome
(Italy). In 2001 TABLEAUX was part of IJCAR 2001 in Siena, and in
2004 it was part of IJCAR 2004 in Cork (Ireland).
In September 2005, the conference will be held in Koblenz, Germany.
The proceedings will again be published in Springer's LNAI series.
See http://tableaux2005.uni-koblenz.de for more information on
TABLEAUX 2005, and http://i12www.ira.uka.de/TABLEAUX for information
about the TABLEAUX conference series.
The International Workshop on First-Order Theorem Proving (FTP 2005)
will also be held in Koblenz at the same time, with opportunities
for joint registration.
TOPICS
Tableau methods are 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 mechanization of reasoning with 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 and BDDs
* related methods (model elimination, sequent calculi,
connection method, ...)
* new calculi and methods for theorem proving in classical and
non-classical logics (modal, description, intuitionistic, linear,
temporal, ...)
* systems, tools, implementations and applications.
TABLEAUX 2005 puts a special emphasis on applications. Papers
describing applications of tableaux and related methods in areas
such as, for example, hardware and software verification, knowledge
engineering, semantic web, etc. are particularly invited.
One or more tutorials will be part of the conference program.
SUBMISSIONS
The conference will include contributed papers, tutorials, system
descriptions, position papers and invited lectures. Submissions are
invited in four categories:
A Research papers (reporting original theoretical and/or experimental
research, up to 15 pages)
B System descriptions (up to 5 pages)
C Position papers and brief reports on work in progress
D Tutorials in all areas of analytic tableaux and related methods
from academic research to applications (proposals up to 5 pages)
Submissions in categories A and B will be reviewed by peers,
typically members of the program committee. They must be
unpublished and not submitted for publication elsewhere. Accepted
papers in these categories will be published in the conference
proceedings (within the LNAI series of Springer), which will be
available at the conference. For category {\bf B} submissions a working
implementation must exist and be available to the referees.
Submissions in category C will be reviewed by members of the
program committee and a collection of the accepted papers in this
category will be published as a Technical Report of the Department
of Computer Science, University of Koblenz.
Tutorial submissions (Category D) may be at introductory,
intermediate, or advanced levels. Novel topics and topics of broad
interest are preferred. The submission 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. Tutorial proposals
will be reviewed by members of the program committee.
Authors of accepted papers are expected to present their work at the
conference.
Further information and instructions about submissions can be found
on the conference website at tableaux2005.uni-koblenz.de.
PROGRAM COMMITTEE
Bernhard Beckert, U. of Koblenz, Germany (Chair)
Peter Baumgartner, MPI Saarbruecken, Germany
Marta Cialdea Mayer, U. Roma Tre, Italy
Roy Dyckhoff, U. of St. Andrews, Scotland
Christian Fermueller, Technical U. of Vienna, Austria
Ulrich Furbach, U. of Koblenz, Germany
Didier Galmiche, LORIA, U. Henri Poincare, France
Martin Giese, Chalmers U., Gothenburg, Sweden
Rajeev P. Gor?, Australian National U., Canberra, Australia
Jean Goubault-Larrecq, ?cole Normale Sup?rieure de Cachan, France
Reiner Haehnle, Chalmers U., Gothenburg, Sweden
Ian Horrocks, U. of Manchester, UK
Ullrich Hustadt, U. of Liverpool, UK
Christoph Kreitz, U. of Potsdam, Germany
Reinhold Letz, Technical U. of Munich, Germany
Maarten Marx, U. of Amsterdam, The Netherlands
Ugo Moscato, U. of Milano-Bicocca, Italy
Neil V. Murray, U. at Albany, USA
Ilkka Niemela, Helsinki U. of Technology, Finland
Lawrence Paulson, U. of Cambridge, UK
David A. Plaisted, U. of North Carolina, USA
Peter H. Schmitt, U. of Karlsruhe, Germany
Viorica Sofronie-Stokkermans, MPI Saarbruecken, Germany
Arild Waaler, U. of Oslo, Norway
Calogero G. Zarba, LORIA and INRIA-Lorraine, France
ORGANIZING COMMITTEE
Conference Chair:
Bernhard Beckert, University of Koblenz, Germany
Publicity Chair:
Gernot Stenz, Technical U. of Munich, Germany
Local Organizers:
Gerd Beuster
Vladimir Klebanov
Thomas Kleeman
Alex Sinner
Christoph Wernhard