Lehre im Sommer 1999 (Gruppe Krieg-Brückner)

Diese Seite verzeichnet die Lehrveranstaltungen von Mitarbeitern der Gruppe Krieg-Brückner im Sommersemester 1999.

Ältere Verzeichnisse der Veranstaltungen im Winter 98/99, Sommer 98, Winter 97/98, Sommer 97, Winter 96/97, Sommer 96, Winter 95/96, Sommer 95, sowie aller bisheriger Veranstaltungen von Bernd Krieg-Brückner sind auch noch vorhanden.

Hauptstudium

Studentisches Projekt im 6. Semester

[3-798] Thomas Röfer, Bernd Krieg-Brückner: ROSES - Rollstuhl als sicherer eingebettetes System.
Freitags 10-12 in MZH 6240.

Kurse

[3-762] Berthold Hoffmann: Übersetzer
Dienstags 8:45-12 im MZH 5290. (Achtung, Terminänderung!)
Beginn: Dienstag, den 13. 4. 99 um 10 Uhr 15 in MZH 5290.

[3-763] Günter Feldmann: Übersetzer- Praktikum
Dienstags 15-17 im MZH 5212. Beginn: Dienstag, den 13. 4. 99 um 15 Uhr 15 in MZH 5212.

[3-764] Hui Shi: Internet-Programmierung
Montags 10-12 in MZH 5212, Dienstags 10-12 im MZH 5212. Beginn: Dienstag, den 13. 4. 99 um 10 Uhr 15 in MZH 5212.

[3-783] Christoph Lüth: Praktikum Korrekte Software durch Formale Methoden
Dienstags 10-12 im MZH 6240, Donnerstags 10-12 im MZH 6240.

Graduiertenseminare

[3-767] Martin Gogolla, Hans-Jörg Kreowski, Bernd Krieg-Brückner, Jan Peleska, Helena Szczerbicka, Holger Schlingloff:
Graduiertenseminar Sichere Systeme.
Mittwochs 15-17 in MZH 8090.

[3-784] Bernd Krieg-Brückner, Christoph Lüth: Graduierten-Seminar Formale Methoden der Softwaretechnik.
Freitags 8:30-10 in MZH 8090.