[DL] Tableaux 2003 Final Call for Papers
Marta Cialdea
marta at dia.uniroma3.it
Mon Mar 3 11:35:45 CET 2003
The usual apologies for multiple copies...
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Call for Papers and Tutorials %%
%% TABLEAUX 2003 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
International Conference TABLEAUX 2003
Automated Reasoning with
Analytic Tableaux and Related Methods
Roma, Italy
September 9-12, 2003
(co-located with TPHOLs 2003
and Calculemus 2003)
http://tab2003.dia.uniroma3.it/
IMPORTANT DATES
Deadline for electronic submission of
title and short abstract: March 18, 2003
Deadline for electronic submission of papers: March 21, 2003
Notification of acceptance of papers: May 17, 2003
Deadline for final version of accepted papers: June 9, 2003
GENERAL INFORMATION
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, NY (1999), St Andrews (2000), and
Copenhagen (2002). In 2001 TABLEAUX was part of IJCAR 2001 in Siena.
In September 2003, the conference will be held in Rome, Italy. The
proceedings will again be published in Springer's LNAI series.
See the main TABLEAUX page for general details about this series of
meetings: it is at http://i12www.ira.uka.de/TABLEAUX/
The International Conference on Theorem Proving in Higher Order Logics
(TPHOLs 2003) and the 11th Symposium on the Integration of Symbolic
Computation and Mechanized Reasoning (Calculemus 2003) will also be
held in Rome in the same period, 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 (e.g. verification)
The conference program includes invited lectures by:
Thierry Coquand,
Chalmers University of Technology, Göteborg, Sweden
(joint speaker with Calculemus 2003)
Johann Schumann,
NASA Ames Research Center, Moffett Field, CA
and the following tutorials:
Agata Ciabattoni (Technische Universität Wien),
Hypersequent calculi for non classical logics.
Gerhard Lakemeyer (Aachen University of Technology),
The Situation Calculus.
Jan von Plato (University of Helsinki),
Proofs and types in constructive geometry.
SUBMISSIONS
Beyong invited lectures and tutorials, the conference will include
contributed papers, system descriptions and position
papers. Submissions are invited in three 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
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).
Submissions in category C will be reviewed by members of the program
committee and accepted papers in this category will be available as
Technical Report of Dipartimento di Informatica e Automazione,
Universita` di Roma Tre.
Submission procedure
Submissions in categories A, B and C should preferably be in LaTeX2e
llncs style (see http://www.springer.de/comp/lncs/authors.html).
Papers have to be submitted in postscript format through the special
submission page at www.lugroma3.org/ConfMan/REG-paper/. Papers have to
be registered at the same page by March 18, 2003. The registration
form includes title, short abstract and a list of keywords. The
deadline for paper submission is March 21, 2003.
PROGRAM COMMITTEE
Peter Baumgartner, U. Koblenz-Landau, Germany
Bernhard Beckert, Karlsruhe U. Germany
Serenella Cerrito, U. d'Evry Val d'Essonne, France
Marta Cialdea Mayer, U. Roma Tre, Italy (chair)
Marcello D'Agostino, U. Ferrara, Italy
Roy Dyckhoff, U. St Andrews, UK
Uwe Egly, Vienna, U. of Techn., Austria
Christian Fermüller, TU Wien, Austria
Melvin Fitting City U. of New York, USA
Ulrich Furbach, Koblenz U., Germany
Didier Galmiche LORIA Nancy, France
Rajeev P. Gore', Australian National U.
Jean Goubault-Larrecq, ENS Cachan, France
Reiner Haehnle, Chalmers U. of Techn., Sweden
Christoph Kreitz, Cornell U., USA
Reinhold Letz, Techn. U. of Munich, Germany
Fabio Massacci, U. Trento, Italy
Neil V. Murray, State U. of New York-Albany, USA
Nicola Olivetti, U. Turin, Italy
Fiora Pirri, U. Roma "La Sapienza", Italy (vice-chair)
Peter H. Schmitt, Karlsruhe U., Germany
ORGANIZING COMMITTEE
Marta Cialdea Mayer, Carla Limongelli (U. Roma Tre),
Fiora Pirri (U. Roma "La Sapienza")
INFORMATION
Conference E-mail: tab2003 at dia.uniroma3.it
cialdea at dia.uniroma3.it
WWW: http://tab2003.dia.uniroma3.it/
_______________________________________________
Tab03 mailing list
Tab03 at pop.dia.uniroma3.it
http://pop.dia.uniroma3.it/mailman/listinfo.cgi/tab03
More information about the dl
mailing list