Lehre im Winter 01/02 (Gruppe Krieg-Brückner)

Diese Seite verzeichnet die Lehrveranstaltungen von Mitarbeitern der Gruppe Krieg-Brückner im Wintersemester 01/02.

Ältere Verzeichnisse der Veranstaltungen im Sommer 01, Winter 00/01, Sommer 00, Winter 99/00, Sommer 99, 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.

Grundstudium

[3-533] Christoph Lüth: Praktische Informatik 3 (Funktionale Programmierung
Kurs: Montags 13-15 im kleinen Hörsaal.
Übung: Donnerstags 13-15 im MZH 7200 und 7210.

Hauptstudium

Studentische Projekte im 5. Semester

[3-789] Bernd Krieg-Brückner, Christoph Lüth, Markus Roggenbach, Lutz Schröder: PROSECCO .
Freitags 13-15 in MZH 6240.

[3-799] Reinhard Moratz, Bernd Krieg-Brückner, John A. Bateman: DIALOG .
Freitags 13-15 in MZH 7200.

Studentisches Projekt im 7. Semester

[3-798] Bernd Krieg-Brückner, Thomas Röfer, Ubbo Visser: ROBOCUP .
Freitags 13-15 in MZH 6240.

Kurse

[3-763] Berthold Hoffmann: Visuelle Sprachen
Seminar: Montags 10-12 in MZH 6240.

[3-783] Markus Roggenbach, Lutz Schröder, Hui Shi: Techniken zur Entwicklung korrekter Software I
Kurs: Mittwoch 13-15 und Donnerstags von 13-15 im MZH 5300.

[3-794] Holger Schlingloff: Informationssicherheit 1
Kurs: Montags 15-17 in MZH 5280 und Mittwochs von 15 - 17 in MZH 1400.

Graduiertenseminare

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