[TU Dresden]


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

Hauptseminar Theoretische Informatik: "Advanced Topics in Automatic Structures"

Position in Curriculum

Basic knowledge in logic and automata theory. It is not necessary to have attended the lecture Introduction to Automatic Structures, but it is helpful.
For computer science students: “Grundlagen der Theoretischen Informatik” or “Formale Systeme”

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

Preliminary schedule
The seminar started on Friday, April 13, at 2:50pm in room 3027 of the computer science building with an introductory meeting.
In case students are interested to join the seminar, they can do so by the end of April. In that case send an email to Anni-Yasmin Turhan.

The student presentations will take place during the last weeks of the teaching period.

Topic of the Hauptseminar
Participants will get to know different types of automatic structures. The seminar will investigate properties of the structures and the relationship between them and different kinds of logics.

Available Seminar Papers

Classical Mathematical Problems treated with Automatic Structures

Goal of the Hauptseminar
Apart from learning about the main topic, students should learn

Duties of Participants
In the initial meeting, students choose a topic to work on and are assigned a tutor. During the seminar, the student has to understand the relevant literature and writes a report about the chosen topic (~12 pages). Finally, each student presents his/her work in a talk to the other participants. In doing this, he/she receives individual support by the tutor. The students should present

Additionally, students must meet the following requirements.

If both, the student report and the student talk, are of acceptable quality, then the grade for the seminar will (roughly) be based by 2/3 on the quality of the report and by 1/3 on the quality of the talk.

The seminar is coordinated by Anni-Yasmin Turhan.

Last modified: Fri Apr 13 16:25:32 CEST 2012