Seminar: Current topics of theoretical computer science


Summer term 2016

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


In this research-oriented seminar we discuss current topics and 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".



Die Termine der Vorträge werden in der Vorbesprechung vereinbart.



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 in the first meeting of the seminar.


External Links