Überblick WiSe 06/07

im Hauptstudium, Studiengebiet THI: Für die Module MTV2 und MTV3 gibt es zwei gemeinsame Einführungsveranstaltungen:
Di, 17.10.2006, 10-12 @ A 060 : Zusammenhang, Organisatorisches & Einzelüberblick
Do, 19.10.2006, 14-16 @ FR 1002 : Auffrischung von relevanten TheGI-Basiskonzepten.

• Modul MTV 2: Verteilte Algorithmen - Nestmann
  0434 L 353 - Integrierte Veranstaltung (IV) - 4 SWS
  Di, 10-12 @ A 060
  Di, 14-16 @ FR 3006
  (Vertiefungs-Veranstaltung)
  

• Modul MTV 3: Temporale Logik - Nestmann
  0434 L 354 - Integrierte Veranstaltung (IV) - 4 SWS
  Do, 10-12 @ FR 4061
  Do, 14-16 @ FR 1002
  (Vertiefungs-Veranstaltung)
  

• Modul MTV 4: [Verifikation von] Sicherheitsprotokolle[n] - Borgström
  0434 L 355 - Seminar (SE) - 2 SWS
  0434 L 360 - Projekt (PJ) - 4 SWS
  Mi, 10-12 @ EN 195
  

• Forschungskolloquium MTV (0434 L 363) - Nestmann
  Vorträge zu Forschungsthemen der Gruppe, insbesondere zu Diplom- und Doktorarbeiten, Gastvorträge
  Colloquium (CO) - 2 SWS
  Fr, 10-12 @ FR 3001