Lehre im Sommer 2011 (AG Krieg-Brückner)

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

Kurse im Grundstudium

Bachelor Basis

[03-BB-705.02] Berthold Hoffmann: Übersetzer
Kategorie: A. TMG: 4. (ECTS: 6)
K 4 SWS Di von 10:00 - 12:00 und Do von 8:00 - 10:00 in MZH 1470,
(weitere Informationen in stud.ip und hier)

[03-BB-700.21] Dieter Hutter, Lutz Schröder: Formale Modellierungen
Kategorie: A. TMG: 4. (ECTS: 6)
K 4 SWS Mo von 16:00 - 18:00 MZH 4194,
bis zum 09.06.11 Do von 14:00 - 16:00 MZH Kl. Senatssaal (1380),
ab 23.06.11 Do von 14:00 - 16:00 MZH Kl. Senatssaal (1380)
(weitere Informationen über stud.ip)

Master Basis (Profil SQ)

[03-MB-706.05] Christoph Lüth, Till Mossakowski: Formale Methoden der Softwaretechnik
Kategorie: V. TMG: 3. (ECTS: 6)
4 SWS Mo von 14:00 - 16:00 MZH 1460,
bis zum 09.06.11 Do von 16:00 - 18:00 MZH Kl. Senatssaal (1380),
ab 23.06.11 Do von 16:00 - 18:00 MZH Kl. Senatssaal (1380)
(weitere Informationen hier)

[03-MB-707.02] Dieter Hutter: Grundlagen der Sicherheitsanalyse und des Designs
Kategorie: V. TMG: 2. (ECTS: 6)
V 2 SWS Mo von 12:00 - 14:00 MZH 5210
Ü 2 SWS bis zum 09.06.11 Do von 12:00 - 14:00 MZH 1110,
ab 23.06.11 Do von 12:00 - 14:00 MZH 1110
(weitere Informationen über stud.ip)

Master Ergänzungen

[03-ME-705.03] Thomas Röfer: Übersetzer-Praktikum
Kategorie: V. Voraussetzungen: Teilnahme an 705.01 (ECTS: 4)
P 2 SWS Mo von 14:00 - 16:00 MZH 5210 (Start am 18. April 2011!)
(weitere Informationen über stud.ip)

Projekte

Kurse im Hauptstudium

Graduiertenseminare

[03-05-H-706.91] Graduierten-Seminar Sichere kognitive Systeme.

Die Lehrveranstaltungen vorangegangener Semester finden sich noch im Archiv.