Time and Venue:
Lecture: Tuesdays and Thursdays, 11:00-13:00, Bldg 45, Room 001
Tutorials: Wednesdays and Fridays.
Harald Ganzinger <email@example.com>
Uwe Waldmann <firstname.lastname@example.org>
Debapriyo Majumdar <email@example.com>
Yevgeny Kazakov <firstname.lastname@example.org>
Examinations and grading
can be obtained at Prof. Ganzinger's Secretariat,
MPI, Room 602 (morning or afternoon).
Mailing list for the lecture
(logic-ss02-l @ postino.mpi-inf.mpg.de)