For a specialisation in the area "logic and complexity" the research group on Mathematical Foundations of Computer Science regularly offers the following courses:
If appropriate, these courses can be combined with further courses offered by the Chair of Computer Science 7.
If you are interested in current research topics, you are invited to attend talks in our working group "Logic and Automata"
Examiner for this area of specialisation: Prof. Dr. Erich Grädel.