Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Termine zur Vorlesung Entwurf und Analyse von Algorithmen im Wintersemester 2000/2001

Die Termine und Räume der Vorlesung sind:
- Montags, 13:45-15:15, 46-220
- Freitags, 8:10-9:45, 42-115
Die Termine und Räume der Übungsgruppen sind:
- Dienstags, 11:45-13:15, 44-380
- Dienstags, 13:45-15:15, 36-265
- Dienstags, 13:45-15:15, 11-205
- Mittwochs, 10:00-11:30, 44-336
- Mittwochs, 11:45-13:15, 44-380
- Mittwochs, 13:45-15:15, 11-205
Der Übungsbetrieb beginnt am Dienstag, 07.11.2000, bzw. am Mittwoch, 08.11.2000.
Die Vorlesung am Freitag, 17.11.2000, findet nicht in 42-115 statt, sondern in 46-215.
Die Termine der Klausuren sind:
- Zwischenklausur: Freitag, 08.12.2000, 8:15 Uhr - 9:30 Uhr in der Mensa
- Abschlussklausur: Montag, 19.2.2001, ab 8:00 Uhr in der Mensa
Nähere Angaben erfolgen noch!

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