Regular Events

The teaching of our institute is naturally focused on Theoretical Computer Science and is oriented towards our special competences, which are also reflected in our research. The table below lists the courses we offer on a regular basis. In addition, all interested parties are invited to the regular research seminar of the Institute for Theoretical Computer Science.

Bachelor

  • Algorithms and Data Structures 1 (Bachelor Computer Science)
  • Algorithms and Data Structures 2 (Bachelor Computer Science)
  • Automata and Formal Languages (Bachelor Computer Science)
  • Automata Theory (Bachelor Computer Science)
  • Computability and Complexity (Bachelor Computer Science)
  • Logic and Logic Programming (Bachelor Computer Science)
  • Cryptography (Bachelor Computer Science and Master Business Informatics, until WS 24/25)
  • Theoretical Foundations of Data Management (Bachelor Computer Science, planned to start WS 25/26)

Master

  • Algorithms and Complexity 1 + 2 (Master Computer Science)
  • Algorithms (Master RCSE)
  • Automatic Structures (Master Computer Science)
  • Proof Complexity (Master Computer Science)
  • Constraint Satisfaction (Master Computer Science)
  • Efficient Algorithms (Master Computer Science)
  • Logic in Computer Science (Master Computer Science)
  • Verification (Master Computer Science and RCSE)

Current courses

Summer semester 2026

FG Algorithmik

FG Automata and Logic

Courses from previous semesters

Winter semester 2025/26

FG Algorithmik

FG Automata and Logic

Summer semester 2025

FG Algorithmik

FG Automata and Logic

Winter semester 2024/25

FG Algorithmik

FG Automata and Logic