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 |