Time and Venue: Lecture: Thursdays, 11:00--13:00, Bldg 45, Room 001 Tutorials: Wednesdays, 14:30--16:00, Bldg 46.1, Room 021.
Lecturer: Harald Ganzinger <hg@mpi-inf.mpg.de>
Tutor: Uwe Waldmann <uwe@mpi-inf.mpg.de>
Exercise sheets
Slides and suggested readings