Beteiligte Lehrstühle
- Algorithmen und Komplexität
- Komplexität und Kryptographie
- Logik in der Informatik
- Logik und Datenbanktheorie
- Logik und diskrete Systeme
Das Oberseminar findet etwa einmal im Monat, an einem Freitag, im Raum 3.101 des Institutsgebäudes (Johann von Neumann-Haus, Rudower Chaussee 25) statt. Es werden Forschungsergebnisse aus der Theoretischen Informatik diskutiert.
