Email Gateway (Aug 17 2022 at 13:26): Email Gateway (Aug 17 2022 at 13:26):From: Gernot Stenz <stenzg@in.tum.de>
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@mailbroy.informatik.tu-muenchen.de
https://mailbroy.informatik.tu-muenchen.de/cgi-bin/mailman/listinfo/tableaux2005
Last updated: Nov 21 2024 at 12:39 UTC