CSL 2000

Annual Conference of the European Association
for Computer Science Logic
August 21-26, 2000 · Fischbachau/Munich, Germany

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on topics significant for computer science.

Important information

Organizing committee

  • Thorsten Altenkirch
  • Rolf Backofen
  • Peter Clote
  • Hans Leiß
  • Ralph Matthes
  • Martin Ruckert
  • Helmut Schwichtenberg
  • The organizing committee may be contacted via csl2000-org@tcs.informatik.uni-muenchen.de.


    We are grateful for being sponsored by

    DFG logo FAST logo Universitätsgesellschaft logo  Siemens logo


    CSL 2000 will be held in Fischbachau, a village 70km south of Munich and easily accessible from Munich by train.

    © Fremdenverkehrsverein Fischbachau

    Ralph Matthes
    Last modified: Mon Aug 28 11:40:08 CEST 2000