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.
Lecturers:
Harald Ganzinger (1950-2004)
Viorica Sofronie-Stokkermans <sofronie@mpi-inf.mpg.de>
Uwe Waldmann <uwe@mpi-inf.mpg.de>
Tutorial groups and exercise sheets
Summary of the lecture evaluation
Mailing list for the lecture (autreas-ss04-l @ postino.mpi-inf.mpg.de)