Automatische Strukturen (AS)
Automaten, Sprachen und Komplexität (ASK)
Kryptographie (KG)
Effiziente Algorithmen (EA)
Verifikation (Ver)
Algorithms (Theoretical Computer Science)
Approximationsalgorithmen (AppAlg)
Haupt- und Proseminar im Fachgebiet KTEA