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

The Final Call for Papers was distributed in mid January 2000.
Submission deadline was February 7th, 2000.
- List of accepted papers with abstracts
- Checklist for final version of submissions
Preliminary Program
Call for Participation and Registration (ASCII)
Invitation to the EACSL membership meeting
Registration
Accommodation
Travel information
Grants
Recent Changes
List of Participants

Organizing committee

Thorsten Altenkirch

Helmut Schwichtenberg

The organizing committee may be contacted via csl2000-org@tcs.informatik.uni-muenchen.de.

Sponsors

We are grateful for being sponsored by

Deutsche Forschungsgemeinschaft, Bonn
FAST e.V. (Forschungsinstitut für angewandte Softwaretechnologie), München
Graduiertenkolleg Logik in der Informatik
Münchener Universitätsgesellschaft e.V., München
Siemens AG, München

Fischbachau

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

© Fremdenverkehrsverein Fischbachau

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