[DL] Tableaux 2003 call for papers and tutorials

Marta Cialdea marta at dia.uniroma3.it
Wed Jan 15 14:28:43 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)


Deadline for submission of tutorial proposals: January 24, 2003
Notification of acceptance of tutorials:       February 28, 2003
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


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


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)

One or more TUTORIALS will be part of the conference program.


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. The cover page should include the
title, the name, address, e-mail address and phone number of each
author and the submission category. Accepted papers in these
categories will be published in the conference proceedings.

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.

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.  They must be
submitted by email, to cialdea at dia.uniroma3.it, in either plain text
or in PS/PDF format. PS/PDF submissions should be sent as attachments.


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


Marta Cialdea Mayer, Carla Limongelli (U. Roma Tre),
Fiora Pirri (U. Roma "La Sapienza")


  Conference E-mail:   cialdea at dia.uniroma3.it
                WWW:   http://tab2003.dia.uniroma3.it/

Tab03 mailing list
Tab03 at pop.dia.uniroma3.it

More information about the dl mailing list