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