Zeit und Ort:
Vorlesung: Montags und Mittwochs, 9:15-11:00 Uhr, Gebäude 45, Hörsaal 001
Übungen: Montags, 16:15-17:45 Uhr und Mittwochs, 16:15-17:45 Uhr nach Vereinbarung
Übungsbeginn: 9. April 2001.
Dozenten:
Harald Ganzinger <hg@mpi-inf.mpg.de>
Andreas Podelski <podelski@mpi-inf.mpg.de>
Übungsgruppenleiter:
Uwe Waldmann <uwe@mpi-inf.mpg.de>
Jan Schwinghammer <jan@ps.uni-sb.de>
Die Klausurergebnisse liegen vor; die Teilnehmer wurden per Mail informiert.