Masterpraktikum

Organisation: The initial meeting takes place on October 21 at 09:20 (2. DS) in room APB/3027. Students who are not able to attend the initial meeting please contact Anni-Yasmin Turhan before October 20.
The participants are expected to read the relevant literature, and to discuss it with their tutor in order to become acquainted with the chosen topic. The required implementation work (if any) 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 deadline for finishing the project is the end of the semester (exam period), i.e. the allowed time for the project is one semester plus the 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.
Knowledge from the lectures Formale Systeme, Theoretische Informatik und Logik, and Descriptions Logics is helpful.
Topics: The topics offered this semester can be found here.