Logic and
Theory of
Discrete Systems

Informatik 7

Current Topics in Theoretical Computer Science

Seminar in the winter term 2014/15


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

Prerequisites and requirements

  • Prerequisite for this seminar is a solid foundation in theoretical computer science and a successful completion of the basic courses such as Data Structures and Algorithms and Computability and Complexity.
  • 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.



Will be announced in the first meeting.