| Disclaimer | Turn on help bubbles |
| Due: | February 7, 2000 (extended from January 31, 2000) |
|---|---|
| When: | August 21–26, 2000 |
| Where: | Fischbachau/Munich, Germany |
| Accept: | April 17, 2000 |
| Final: | May 19, 2000 |
| URL: | http://www.tcs.informatik.uni-muenchen.de/csl2000/ [Wayback] |
| Topic: | logic |