Automated Reasoning with
Analytic Tableaux and Related Methods
4-7 July, 2000
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-à-Mousson
(near Nancy) (1997), Oisterwijk
(near Tilburg) (1998) and Saratoga
Springs (near Albany NY) (1999). The proceedings will again
be published in Springer's LNAI series. See the main TABLEAUX
page for general details about this series of meetings.
Selected papers will (when extended) be included in a special
issue of Studia Logica devoted both to such papers and to
papers submitted later.
Workshop on First-Order Theorem Proving will also be held
in St Andrews, 3-5 July, with opportunities for joint registration.
Sessions will be partly in series, partly shared and partly in
parallel. For details, see http://www.uni-koblenz.de/ftp00/
We offered some grants (in the form of reductions on the registration
fees) for a limited number of full-time students, both British
and non-British. The application deadline was 20th May.
Sponsors (to whom many thanks!)
Start of FTP workshop (also in St Andrews: 9 am, 3 July 2000)
Conference: (9 am) 4 July to (2pm) 7 July, 2000