[isabelle] [Tableaux2005] TABLEAUX 2005 2nd Call for Participation



Apologies if you receive multiple copies

	   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	   %%           Call for Participation           %%
	   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

		       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


This conference, as a continuation of international meetings on
Automated Reasoning with Analytic Tableaux and Related Methods,
will be held in Koblenz, Germany, from September 14-17, 2005.
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.


CONFERENCE SCOPE AND 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.

CONFERENCE PROGRAMME

 See http://tableaux2005.uni-koblenz.de/programme.html for a description of
 the scientific programme.

 TABLEAUX 2005 is part of the International Conference Summer Koblenz 2005.
 See http://www.uni-koblenz.de/ag-ki/confsummer.html

INVITED SPEAKERS

 Ian Horrocks
 University of Manchester
 DESCRIPTION LOGICS IN ONTOLOGY APPLICATIONS

 Diego Calvanese
 Free University of Bolzano/Bozen
 QUERY PROCESSING IN PEER-TO-PEER SYSTEMS: AN EPISTEMIC LOGIC

 Hans-Jürgen Ohlbach
 Ludwig-Maximilians University of Munich
 AUTOMATED REASONING IN THE CONTEXT OF THE SEMANTIC WEB

 Erik Rosenthal
 University of New Haven
 FORMAL VERSUS RIGOROUS MATHEMATICS: HOW TO GET YOUR PAPERS PUBLISHED

TUTORIALS

 For tutorial abstracts, see http://tableaux2005.uni-koblenz.de/tutorials

 - Instance Based Methods
   by Peter Baumgartner and Gernot Stenz

 - Analytic Systems and Dialogue Games
   by Chris Fermüller

 - Tutorial on Agda
   by Marcin Benke

CONFERENCE AND PROGRAM COMMITTEE CHAIR

 Bernhard Beckert, University of Koblenz, Germany

LOCATION

 The 2000-year-old town of Koblenz is situated in the picturesque
 landscape of the Rhine and Moselle and surrounded by four low
 mountain ranges. In 2002 the UNESCO ranked the upper Middle Rhine
 valley one of the most beautiful and oldest man-made landscapes,
 among the world cultural heritages.  The chain of castles and
 palaces along the steep slopes, where the famous Rhine wines are
 grown, stretches from Koblenz to the legendary Loreley and continues
 to the cities of Rüdesheim and Bingen.

ACCOMMODATION

 There are pre-reserved hotel room contingents for participants of TABLEAUX
 2005 (see http://tableaux2005.uni-koblenz.de/hotels.html). Reservations for
 rooms in these contingents can only be made until July 31, 2005. Due to the
 very limited number of available hotel rooms in Koblenz in September, we
 highly recommend room booking as soon as possible.

REGISTRATION

 To register, please fill in the registration form available at
 http://tableaux2005.uni-koblenz.de/registration.html
 Early registration ends July 31st, 2005.

SCHOLARSHIPS

 TABLEAUX 2005 will support a limited number of attendees that
 otherwise cannot afford coming to Koblenz by providing a scholarship
 to cover (part of) their travel expenses and/or the conference fee. We
 welcome applications from everyone who has a particular interest in
 attending Tableaux (preference will be given to authors of accepted
 Tableaux 2005 papers) and who has a need for support. The deadline for
 applications is Friday, 15 July 2005. For details see
 http://tableaux2005.uni-koblenz.de/scholarships.html.


_______________________________________________
Tableaux2005 mailing list
Tableaux2005 at mailbroy.informatik.tu-muenchen.de
https://mailbroy.informatik.tu-muenchen.de/cgi-bin/mailman/listinfo/tableaux2005





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.