[DL] [TABLEAUX 2005] Second Call for Papers and Call for Tutorials

[Gernot Stenz]

Apologies if you receive multiple copies.

	   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	   %%   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. Gore, Australian National U., Canberra, Australia
  Jean Goubault-Larrecq, Ecole Normale Superieure 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, TU Muenchen, Germany
  Carsten Lutz, Dresden U. of Technology, 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
  Nicola Olivetti, U. of Torino, Italy
  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, TU Muenchen, Germany
  
  Local Organizers:
  Gerd Beuster
  Vladimir Klebanov
  Thomas Kleeman
  Jan Murray
  Oliver Obst
  Alex Sinner
  Christoph Wernhard 
  Doris Wertz