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

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

Hauptstudium

Studentische Projekte im 6. Semester

[3-789] Bernd Krieg-Brückner, Christoph Lüth, Markus Roggenbach, Lutz Schröder: PROSECCO .
Arbeitsvorhaben: Freitags 13-15 im Projektraum
Plenum: Freitags 10-12 in MZH 5290.

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

Studentisches Projekt im 8. Semester

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

Kurse

[3-762] Berthold Hoffmann: Übersetzer-Werkzeuge
Kurs: Montags 10-12 in MZH 7230 und Dienstags 20-12 in MZH 6240.

[3-783] Christoph Lüth, Markus Roggenbach, Lutz Schröder, Hui Shi: Techniken zur Entwicklung korrekter Software II
Kurs: Mittwoch 13-15 in MZH 6240 und Donnerstags von 13-15 im MZH 5290.

[3-791] Reinhard Moratz: Sprachtechnologie
Kurs: Donnerstags 10-12 im MZH 5290.
.

Graduiertenseminare

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