CSL 2000 - Recent changes
Instead of Miklos Ajtai, Moshe Vardi will give the second afternoon
talk at the Gurevich Symposium.
Title of Colin Stirling's invited talk announced: Decision procedures
for pushdown automata.
We changed the checklist to mention that the editors are Peter Clote
and Helmut Schwichtenberg.
EACSL membership meeting scheduled for Wednesday, August 23,
Agenda of this meeting announced.
Better travel information given with online timetable in English
language (thanks to Sebastian Will)
Drawings of Aurach and the walk from the railway station to the hotel
A more concise description of the travel from Munich to Fischbachau
(thanks to Hans Leiß) and a topographical map of Fischbachau's
surroundings (thanks to Felix Joachimski)
List of participants provided
Last modified: Mon Aug 28 11:40:49 CEST 2000