Time and Venue:
Lecture: Tuesdays and Thursdays, 11:00-13:00, Bldg 45, Room 001
Tutorials: Wednesdays and Fridays.
Lecturer:
Harald Ganzinger <[email protected]>
Tutors:
Uwe Waldmann <[email protected]>
Debapriyo Majumdar <[email protected]>
Yevgeny Kazakov <[email protected]>
Certificates ("Scheine") 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)