Universität Bremen  
  FB 3  
  Group BKB > Teaching > Deutsch

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.


[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.

[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.


[3-891] Reinhard Moratz, Gabriele Vierhuff, Tilman Vierhuff: Naturwissenschaftliche Informatik
Seminar: 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.

Courses of earlier semesters are stored in the archive (in German only).
Author: Dr. Berthold Hoffmann
  Group BKB 
Last updated: May 13, 2003   impressum