Computer Science Logic 2000 CSL 2000 Fischbachau near Munich, Germany 21-26 August 2000
Electronic Submission Page
Electronic Paper Submission Deadline was 7 Feb 2000.