[TU Dresden]


Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Hauptseminar theoretische Informatik: "Undecidable problems from applications"

Preliminary schedule
The seminar starts on Monday, April 14th, at 16:40pm (DS 6) in room 0005 3027 of the computer science building with an introductory meeting. In this meeting all participating students will pick a research paper that they will write a report and give a talk about.

Presentations will take place during the last weeks of the teaching period (i.e. in June / July)

Position in the Curriculum
Depending on your course of studies, you can use this seminar for the following modules:
Basic knowledge in computational complexity is helpful.
For computer science students: “Formale Systeme” or “Grundlagen der Theoretischen Informatik”

The language of the seminar is English — unless the seminar is attended by native German speakers only.

Preliminary schedule
The initial meeting is on Monday April 14th at 16:40 o'clock (6. DS) in room INF 0005 3027.

Goal of the Hauptseminar
Apart from learning about the main topic, students should learn how to get acquainted with a relevant body of literature, how to produce a well-structured paper, and how to give an understandable scientific talk.

Duties of Participants
For the CL master students this seminar can be used for several modules. Depending on the CL module the seminar will be used for, the student can either carry out the seminar in the calssical way (report and talk) or as an oral exam. This choice is only available to CL students , all other students can only have this seminar in the classical way.

Pool of papers
The seminar is about presenting and discussing papers from the following list: The seminar is open to suggestions from students about other papers being presented in the seminar.

The seminar is coordinated by Anni-Y. Turhan.