Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Termine zur Vorlesung Reduktionssysteme im Sommersemester 2001

Die Termine und Räume der Vorlesung sind:
- Dienstags, 10:00-11:30, 46-110
- Donnerstags, 8:15-9:45, 46-110
Der Termin und Raum der Übungsgruppe ist:
- Dienstags, 13:45-15:15, 32-439
Der Übungsbetrieb beginnt am 08.05.2001.
Die Vorlesung vom 24.05.2001 (Christi Himmelfahrt) wird auf Mittwoch, 23.05.2001, 15:30-17:00 Uhr in 46-110 verschoben.
Die Vorlesung vom 14.06.2001 (Fronleichnam) wird auf Mittwoch, 13.06.2001, 15:30-17:00 Uhr in 46-110 verschoben.

Letzte Änderung: Wednesday, 26-Oct-05 08:59:16 GMT
www-aven@informatik.uni-kl.de