Lehre im Winter 04/05 (AG Krieg-Br�ckner)

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

Kurse im Grundstudium

[03-700.03] Christoph L�th: Praktische Informatik 3 (Funktionales Programmieren)
Kurs: Montags 10-12 im HS 1010 (kleiner H�rsaal).
�bungen: nach Vereinbarung.

Hauptstudium

Studentische Projekte im 5. Semester

[03-902.21] Thomas R�fer, Ubbo Visser, Tim Laue: B-Smart.
Projektplenum: Freitags 8-12 in MZH 5290.

[03-902.28] Thomas R�fer, Ubbo Visser, Tim Laue: Bremen Byters.
Projektplenum: Freitags 13-17 in MZH 7260.

[03-902.30] Christoph L�th, Till Mossakowski, Lutz Schr�der: Bordeaux.
Projektplenum: Freitags 8-12 in MZH 6240.

Studentische Projekte im 7. Semester

[03-902.10] Bernd Krieg-Br�ckner, Achim Mahnke: UniDoc: University Document Standard
Projektplenum: Freitags ???.

[03-902.11] Bernd Krieg-Br�ckner, Reinhard Moratz, Hui Shi, Tilman Vierhuff, Michael W�nstel: Espresso .
Projektplenum: Freitags 10-12 in MZH 8090.

Kurse

[3-705.01] Berthold Hoffmann: Programmiersprachen
Kurs: Montags 8:30-10 und 10:15-11:45 im MZH 1400 (gro�er Senatssaal).

[03-706.05] Till Mossakowski, Lutz Schr�der: Formale Methoden der Softwaretechnik I
Vorlesung Montags von 13-15 in MZH 7230
�bung Mittwochs von 15-17 in MZH 7250
Die Lehrveranstaltungen vorangegangener Semester finden sich noch im Archiv.