Seminar: Current topics of theoretical computer science

 

Winter term 2016/2017

   

Content

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

Prerequisites

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".

 

Organization

The seminar-talks will be held in english.

 

Instructors

Martin Grohe
Pascal Schweizer
Christof Löding

Requirements

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.