Aus dem MTV-Lehrangebot finden im WiSe 07/08 alle prinzipiell für ein Wintersemester vorgesehenen Veranstaltungen statt. Im einzelnen sind dies: Für das Bachelor-Studium:

• "Nebenläufige Modellierung und Programmierung" (2IV)
  [ ISIS | VV | Modul BINF-SWT-Horror ]

Für das Master-Studium:

• "Verteilte Algorithmen" (4IV)
  [ ISIS | VV | Modul MINF-VS-DistAlgo, ehemals MTV2 ]
  
  
• ausgefallen mangels genügender Teilnehmerzahl:
  "Temporale Logik für Softwareingenieure" (4IV)
  [ ISIS | VV | Modul MINF-VS-TempLogSoft, ehemals MTV3 ]
  
  
• "Modelle und Ziele von Sicherheitsprotokollen" (2SE)
  "Verifikation von Sicherheitsprotokollen" (4PJ)
  [ ISIS | VV-SE , VV-PJ | Modul MINF-VS-VerSecProt, ehemals MTV4]
  

Die Anrechenbarkeiten im Diplom-Hauptstudium sind im MTV-Lehrangebot erklärt.