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)
- Algorithms, Automata and Complexity (Bachelor of Computer Science in Engineering)
- 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)
Master
- Algorithms and Complexity 1 + 2 (Master Computer Science, planned from summer term 23)
- Algorithms (Master RCSE)
- Automatic Structures (Master Computer Science)
- Proof Complexity (Master Computer Science)
- Constraint Satisfaction (Master Computer Science, planned from WiSe 23/24)
- Efficient Algorithms (Master Computer Science)
- Logic in Computer Science (Master Computer Science)
- Theoretical Computer Science (Master RCSE)
- Verification (Master Computer Science and RCSE)
FG Algorithmik
- Algorithms and Data Structures 2 (Moodle course)
- Constraint Satisfaction (Moodle course)
- Efficient Algorithms (Moodle course)
- Cryptography (Moodle course)
FG Automata and Logic
- Automata and Formal Languages (AFS) (Moodle-Course)
- Automatic Structures (AS) (Moodle-Course)
- Logic and Logic Programming (LuLp) (Moodle-Course)
- Verification (Ver) (Moodle-Course)
FG Algorithmik
- Algorithms and data structures 1 (Moodle course)
- Algorithms and complexity 1+2 (Moodle course)
- Algorithms, automata, and complexity (Moodle course)
- Algorithms (Moodle course)
FG Automata and Logic
- Automata theory (AT) (Moodle course)
- Predictability and complexity (BuK) (Moodle course)
- Logic in computer science (LI) (Moodle course)
- Algorithms, automata and complexity (AAuK) (Moodle course)
FG Algorithmik
- Algorithms and Data Structures 2(Moodle course)
- Proof Complexity(Moodle course)
- Efficient Algorithms(Moodle course)
- Cryptography(Moodle course)
FG Automata and Logic
- Automata and Formal Languages (AufS) (Moodle-Course)
- Automatic Structures (AS) (Moodle-Course)
- Logic and Logic Programming (LuLP) (Moodle-Course)
- Verification (V) (Moodle-Course)