Lehre im Sommer 05 (AG Krieg-Brückner)

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

Kurse im Grundstudium

Hauptstudium

Projekte im 6. Semester (für Diplom und Bachelor)

[03-902.21] Thomas Röfer, Ubbo Visser, Tim Laue: B-Smart .
Projektplenum: Freitags 8-12 in MZH 7210.

[03-902.28] Thomas Röfer, Ubbo Visser, Tim Laue: Bremen Byters .
Projektplenum: Freitags 13-17 in MZH 7220.

Projekte im 6. Semester (nur für Diplom)

[03-902.30] Christoph Lüth, Till Mossakowski, Lutz Schröder: Bordeaux.
Projektplenum: Freitags 8-12 in MZH 6240.

Projekte im 8. Semester (nur für Diplom)

[03-902.10] Bernd Krieg-Brückner, Arne Lindow: Achim Mahnke: UniDoc: University Document Standard
Projektplenum: Freitags 10-12 in MZH 8090.

[03-902.11] Bernd Krieg-Brückner, Reinhard Moratz, Hui Shi, Tilman Vierhuff, Michael Wünstel: Espresso .
Projektplenum: Freitags 13-15 in MZH 6240.

Kurse

[03-604.06] Till Mossakowski, Lutz Schröder: Spezifikation und Verifikation von Java-Programmen
Kurs Montags von 13-15 in MZH 4194
Kurs Mittwochs von 15-17 in MZH 7230

[03-705.02] Berthold Hoffmann: Übersetzer
Vorlesung (mit integrierter Übung): Montags 8:30-12, MZH 1380 (kleiner Senatssaal)

[03-705.03] Günter Feldmann, Berthold Hoffmann: Übersetzer-Praktikum
Vorlesung (mit integrierter Übung): Dienstags 13-15, MZH 4194

[03-709.53] Udo Frese: Echtzeit-Bildverarbeitung
Vorlesung Dienstags von 8-10 in MZH 7220
Kurs Donnerstags von 17-19 in MZH 7220

Graduiertenseminare

[03-706.91] Bernd Krieg-Brückner, Lutz Schröder: Graduierten-Seminar Formal Methods for Software Development.
Freitags 8:30-10 in MZH 8090.

Die Lehrveranstaltungen vorangegangener Semester finden sich noch im Archiv.