Teaching in summer 2003 (AG BKB)
This page lists the teaching activities of Bernd Krieg-Brückner's group in summer 2003.
First and Second Year
Members of AG Krieg-Brückner hold tutorials in courses on Practical Computer Science, Socio-technical systemse and the Software Laboritory. Moreover, Hui Shi gives course guidance, in particular for foreign students.
Third and Fourth Year
Student Projects, third year
[3-798]
Bernd Krieg-Brückner,
Thomas Röfer,
Ubbo Visser:
ROBOCUP II
.
Projektplenum: Freitags 8-12 in MZH 7210.
Student Projects, fourth year
[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.
Courses
[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 6240.
[3-793]
Thomas Röfer:
Kognitive Robotik 2
Kurs: Montags 10-12 im MZH 7230.
Praktikum: Dienstags 15-17 im MZH 6240.
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.
Seminars
[3-891] Reinhard Moratz, Gabriele Vierhuff, Tilman Vierhuff: Naturwissenschaftliche InformatikSeminar: Dienstags 17-19 in MZH 7230.
Graduate Seminars
[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.
Author: Dr. Berthold Hoffmann
| Last updated: May 13, 2003 |  |