[om-a] 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)



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)

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.


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.


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:   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
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems

More information about the Om-announce mailing list