Logic and
Theory of
Discrete Systems

Informatik 7

Current Topics in Theoretical Computer Science

Seminar in the summer term 2018


This seminar covers current research development in the field of theoretical computer science (logic, algorithms, complexity theory, etc.).

Prerequisites and requirements

  • The seminar addresses master students with a strong interest and a solid background in theoretical computer computer science.
  • Each participant of the seminar will be assigned a specific topic, usually in form of a research paper or a book chapter. He or she is expected to give a talk (of about 45 min) about it and write a paper (of about 5 pages) summarising it.


  • The seminar will meet on Fridays, 10:15-11:45am during the semster.
  • Topics will be assigned in the first meeting on Friday, April 13th at 10:15am.
  • The dates for the individual talks will be fixed after the first meeting and announced via L2P
  • Instructors: Martin Grohe, Christof Löding


Will be announced in the first meeting.