Evaluation

The final grade will be based on the presentation and the written report. Active participation during the presentations will also be taken into account. The deadline for submitting the report is 14 February 2008.

Language and Typesetting

We encourage and support the use of English. Reports should be written in LaTeX2e. In order to ensure a uniform layout, the Computational Logic template should be used.

Proof-Reading

Make sure to use a spell checker. Send a pre-final version of your report to your supervisor for final comments.