Lehre im Sommer 2003 (AG BKB)

Diese Seite verzeichnet die Lehrveranstaltungen der Gruppe Krieg-Brückner im Sommersemester 2003.

Grundstudium

Mitarbeiter der AG Krieg-Brückner betreuen regelmäßig Tutorien in den Veranstaltungen Praktische Informatik, Soziotechnische Systeme und das Softwarepraktikum. Hui Shi macht darüber hinaus Studienberatung, insbesondere für ausländische Studierende.

Hauptstudium

Studentisches Projekt im 6. Semester

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

Studentische Projekte im 8. Semester

[3-789] Bernd Krieg-Brückner, Christoph Lüth, Lutz Schröder: PROSECCO
Arbeitsvorhaben: Mittwochs 8-10 in MZH 7230, Mittwochs 10-12 in MZH 7250.
Projektplenum: Freitags 13-15 in MZH 6240.

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

Kurse

[3-762] Berthold Hoffmann: Übersetzer
Kurs: Montags 8:30-12 in MZH 6240.

[3-764] Günter Feldmann: Übersetzer-Praktikum
Kurs: Dienstags 13-15 in MZH 7220.

[3-763] Hui Shi: Internet-Programmierung
Kurs: Montags 13-15 im MZH 5210.
Übung: Dienstags 13-15 im MZH 5210.

[3-793] Thomas Röfer: Kognitive Robotik 2
Kurs: Montags 10-12 im MZH 7230.
Praktikum: Dienstags 15-17 im MZH 6240.

[3-631] Till Mossakowski, Lutz Schröder: Spezifikation und Synthese von Haskell-Programmen
Kurs: Mittwochs 13-15 in MZH 7210, Donnerstags 13-15 in MZH 7220.

[3-632] Till Mossakowski: Logik II
Kurs: Montags 13-15 in MZH 5300.

Seminare

[3-891] Reinhard Moratz, Gabriele Vierhuff, Tilman Vierhuff: Naturwissenschaftliche Informatik
Seminar: Dienstags 17-19 in MZH 7230.

Graduiertenseminare

[3-765] Karsten Sohr, Martin Gogolla, Hans-Jörg Kreowski, Bernd Krieg-Brückner, Jan Peleska:
Graduiertenseminar Sichere Systeme.
Mittwochs 15-17 in MZH 8090.

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

Die Lehrveranstaltungen vorangegangener Semester finden sich noch im Archiv.

Autor: Dr. Berthold Hoffmann

AG BKB

Zuletzt geändert am: 13. Mai 2003