[DL] [TABLEAUX 2005] Last Call for Tutorials

[Gernot Stenz]

Apologies if you receive multiple copies.

	   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	   %%             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

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. One or more tutorials
  will be part of the conference program.


SUBMISSIONS

  Submissions are invited for tutorials in all areas of analytic tableaux and
  related methods from academic research to applications (proposals up to 5
  pages)

  Tutorial submissions 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.

  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