Komplexpraktikum/Project in WS 2010-2011

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

The topics of this Komplexpraktikum will be in the following areas:

- Automata Theory

- Description Logics

- Complexity Theory

For choosing a specific topic, please contact Rafael Peñaloza (see below)

Position in curriculum

- Diplomstudiengang Informatik (Diplom- und Bakkalaureatsabschluß), ab 5. Semester ;Wahlpflichtveranstaltung (-/-/4)
- Course of studies Computation Logic; project (12 credits)

Prerequisites

for computer scientists: Pflichtvorlesung "Grundlagen der Theoretischen Informatik"

Organisation

-On the personal basis (see above) students are presented with available topics. Students then have the opportunity to choose a topic to work on.
- Each student is assigned a tutor, depending on the topic chosen. During the semester, there will be regular meetings of the student and his tutor.
- The results of the praktikum/project will be presented at the end of the semester in a talk given by the student.

Language

Concerning the final presentations, students may choose to present their work in German or in English.

Participants Duties

The participants are expected to read the relevant literature, and to discuss it with their tutor in order to become acquainted with the topic chosen. The required implementation work should be carried out in a structured way, and has to be documented appropriately. If a topic is shared by two or more participants, acquiring team-working skills is another goal of the project. The results of the project have to be described in a project paper (~15 pages) and presented in a 30 minutes talk at the end of the semester.

It is also the duty of the participants to reserve enough time for performing the project. The sharp deadline for finishing the project is the beginning of the following semester, i.e. the allowed time for the project is one semester plus the following semester break. Failure to finish the project in time will result in no credits to be given. It is the obligation of the participant to start the project in time, and to make appointments with the supervisor for regular meetings during the semester.

Topics

When choosing a topic, please take into account the knowledge you have already acquired. For example, if you'd like to do a project concerning knowledge representation, you are expected to have successfully attended the lecture "Logic-based knowledge representation" before starting the project.

To discuss a possible topic of interest, please contact Rafael Peñaloza (:penaloza at inf.tu-dresden.de:)