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, 18:15-19:00.
  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 included
• 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