Regular Events

The teaching of our institute naturally focuses 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. For more information on how they are held, please refer to the specific semester (above). In addition, all interested parties are invited to the regular seminar of the Institute for Theoretical Computer Science .


Summer semester

  • Algorithms and Data Structures (Bachelor, 2nd semester)
  • Selected Chapters of Algorithmics (Master, 2nd semester)
  • Formal Languages and Complexity (Engineering Computer Science, Bachelor, 6th semester)
  • Logic in Computer Science (Master, 2nd semester)
  • Logical Structures (Bachelor, 2nd semester)
  • Randomized Algorithms (Bachelor, 4th/6th semester)

Winter term

  • Automata and Formal Languages (Bachelor, 3rd semester)
  • Automata Theory (Bachelor, 4th semester)
  • Approximation Algorithms (Master, 1st/3rd semester)
  • Selected Chapters of Complexity Theory (Master, 1st/3rd semester)
  • Computability and Complexity (Bachelor, 5th semester)
  • Efficient Algorithms (Master, 1st semester)
  • Complexity Theory (Master, 1st/3rd semester)
  • Cryptography (Bachelor, 4th/6th semester or Business Informatics, Master, 2nd semester)
  • Theoretical Computer Science (RCSE, Master, 1st semester)
  • Verification of Infinite Systems (Master, 1st/3rd semester)