Lehre im Winter 02/03 (AG Krieg-Brückner)

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

Grundstudium

[3-533] Christoph Lüth: Praktische Informatik 3 (Funktionale Programmierung)
Kurs: Montags 10-12 im kleinen Hörsaal.
Übung: Dienstags 10-12 im kleinen Senatssaal.

Hauptstudium

Studentisches Projekt im 5. Semester

[3-798] Bernd Krieg-Brückner, Thomas Röfer, Ubbo Visser: ROBOCUP II .
Plenum: Freitags 10-14 in MZH 7210.

Studentische Projekte im 7. Semester

[3-789] Bernd Krieg-Brückner, Christoph Lüth, Markus Roggenbach, Lutz Schröder: PROSECCO
Arbeitsvorhaben: Dienstags 8-10 in MZH 7230 und Mittwochs 8-10 in MZH 7230 (ab 23.10. in MZH 5210)
Plenum: Freitags 13-15 in MZH 6240.

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

Kurse

[03-632] Till Mossakowski: Logics (in English)
Vorlesung ab 21.10.02 Montags von 13:00 - 15:00 MZH im großen Senatssaal (1400)
Übung Donnerstags von 17:00 - 19:00 MZH Senatssaal (1400)

[3-761] Berthold Hoffmann, Markus Roggenbach: Programmiersprachen
Kurs: Montags 8-10 im SFG 2040 und 10-12 in MZH 6240.

[3-791] Thomas Röfer: Kognitive Robotik
Vorlesung: Montags von 10:00 - 12:00 MZH 7220
Mittwochs von 10:00 - 12:00 MZH 6240.
Erster Termin: Montag, den 14. Oktober 2002 um 10 Uhr in MZH 7220.

[3-794] Markus Roggenbach, Lutz Schröder: Temporale und modale Logiken für Parallelität und Sicherheit
Kurs: Mittwochs 15-17 im MZH 7220.
Donnerstags 15-17 im MZH 5300.

Graduiertenseminare

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

Die Lehrveranstaltungen vorangegangener Semester finden sich noch im Archiv.