Lecturer

		room	consultation hours
SE	Georg Moser	1N05	Wednesday	12:00 – 14:00

Time and Place

Registration

Please register online before February 22, 18:00. Please note that we can atmost accept 15 participants.

Guidelines

The final grade will be based on the presentation and the written report. Active participation during the presentations will also be taken into account.

Seminar Talks

The seminar talks should present the main results obtained with respect to the language studied. Each slot will be allocated 30 minutes and the speaker should leave at least 5 minutes for discussion. The talks will be chaired and no overtime will be granted. Talks will take place blocked on June 12 and June 19.

Language and Typesetting

We demand the use of English. Theses must be written in LaTeX2e. In order to ensure a uniform layout, the Computational Logic LaTeX class must be used. Before producing the final version of the seminar report, make sure you use the latest version. Reports have to be written in English. The report must be between 10 and 15 pages long.

Proof-Reading

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

Seminar Reports

Final seminar reports have to be handed in to the supervisor by July 31, 2015, 23:59.