Aus dem MTV-Lehrangebot finden folgende Veranstaltungen statt.
Für das Bachelor-Studium:

• "Berechenbarkeit und Komplexität" (2VL+2UE)
  [ ISIS | VV | Modul BINF-GL-TheGI2 ]
  
• "The Software Horror Picture Show" (2SE)
  [ ISIS | VV | Modul BINF-SWT-Horror ]

Für das Master-Studium:

• "Algebraische Prozesskalküle" (4IV)
  [ ISIS | VV | Modul MINF-VS-AlgProCalc ]
• "Synchrone und Asynchrone Interaktion in Verteilten Systemen" (2SE)
  [ ISIS | VV | Modul MINF-VS-SYNC ]

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