Content: Seminar on Logic and Complexity


Depending on the individual interests of the participants, this seminar will cover topics in the intersection between logic and computational complexity. Examples are the complexity of temporal-logic decision problems or the complexity of the satisfiability problem in propositional logic and its generalizations. Advanced topics in computational complexity, like parameterized complexity, can be covered as well.