Grading

The grade is based on the presentation and the written report. The following guidelines will help you to prepare the latter according to the requirements of the Computational Logic group.

• Do not underestimate the challenges of writing a seminar report. It might be a good idea to create a time plan with the help of your supervisor to structure the workload.
• Supervisors usually like to stay informed about the global progress, even if you got stuck at some point. In the latter case, your supervisor might have an idea how to solve your problems. However, do not overwhelm your supervisor with details.
• The report must be written in LaTeX with the Computational Logic LaTeX class. Documentation on the usage of this class is available.
• The report should be understandable to all researchers in the Computational Logic group, and not only to yourself and your supervisor. As a consequence, definitions and notations which are specific to your report should be introduced.
• The report must be written in English.

Deadline for Report

The deadline for submitting the report is 11 pm on 29 February 2012.