This course was awarded the Best Teaching Award
of the Computer Science Students Association for the
summer semester 2004.
Time and Venue:
Lecture: Tuesdays 16:00-18:00 and Thursdays 11:00-13:00, Bldg 45, Room 001
Tutorials: to be announced.
Harald Ganzinger (1950-2004)
Viorica Sofronie-Stokkermans <email@example.com>
Uwe Waldmann <firstname.lastname@example.org>
Tutorial groups and exercise sheets
Slides and suggested readings
Examinations and grading
Summary of the lecture evaluation
Mailing list for the lecture
(autreas-ss04-l @ postino.mpi-inf.mpg.de)