Lehre im Sommer 2004 (AG Krieg-Br�ckner)

Diese Seite verzeichnet die Lehrveranstaltungen von Mitarbeitern der Gruppe Krieg-Br�ckner im Sommersemester 2004.

Kurse im Grundstudium

[03-700.02] Thomas R�fer: Praktische Informatik 2 (Objektorientierte Programmierung)
Kurs: Montags 10-12 im NW H1 (H0020).
Tutorien: nach Vereinbarung.

Hauptstudium

Studentisches Projekt im 6. Semester

[03-902.10] Bernd Krieg-Br�ckner, Achim Mahnke: UniDoc: University Document Standard
Projektplenum: Freitags 10-12 in MZH 8090.

[03-902.11] Bernd Krieg-Br�ckner, Reinhard Moratz, Hui Shi, Tilman Vierhuff: Espresso .
Projektplenum: Freitags 13-15 in MZH 6240.

Studentisches Projekt im 8. Semester

[03-902.03] Bernd Krieg-Br�ckner, Thomas R�fer, Ubbo Visser: ROBOCUP II.
Projektplenum: Freitags 10-14 in MZH 7210.

Kurse

[03-604.02] Lutz Schr�der: Logik
Vorlesung (A) Montags von 10-12 MZH 1400 (gro�er Senatssaal)
�bung Dienstags von 10:00 - 12:00 MZH 1400 (gro�er Senatssaal)

[03-699.02] Lutz Schr�der: Systeme, Automaten und Coalgebren
Vorlesung (V) Mittwochs von 15-17 MZH 6240
Donnerstags von 13:00-15:00 MZH 6240

Hui Shi, Robert Ross: Entwicklung benutzergesteuerter eingebetteter System
Vorlesung: Dienstags 8-10, MZH 7220
�bung: Dienstags von 13-15, MZH 7230

Seminare

Berthold Hoffmann: Seminar Visuelle Sprachen
Seminar: Donnerstags 10-12, MZH 7220

Graduiertenseminare

[03-706.91] Bernd Krieg-Br�ckner, Lutz Schr�der: Graduierten-Seminar Formale Methoden der Softwaretechnik.
Freitags 8:30-10 in MZH 8090.

Die Lehrveranstaltungen vorangegangener Semester finden sich noch im Archiv.