Seminar: Current topics of theoretical computer science


Winter term 2014/2015

reserve shelf of the chair i7 in the computer science library Copyright: © M. Ritzert


In this research-oriented seminar we discuss current important results in all fields of theoretical computer science such as logic, algorithms, complexity theory, and more.


Prerequisite for this seminar is a solid foundation in theoretical computer science and a successfull completion of the basic courses such as "Data Structures and Algorithms" and "Computability and Complexity".



The seminar-talks will be held in english.

Time and Place

This is a weekly seminar. During the weeks, in which there is no student-talk, someone in our team will present about their research.

Weekly attendance is mandatory.



Martin Grohe
Pascal Schweizer
Christof Löding


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 minutes about it and write a paper of about 5 pages summarising it.

The topics will be assigned at the first meeting of the seminar.


External Links