Dozent

Lecturer

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

Ort und Zeit

PS

Monday

08:00 – 10:00

RR 21

Georg Moser

Beginn des Proseminars am 5. März.

Bitte registrieren Sie sich online für das Proseminar (bis spätestens 29. Februar, 23:59 Uhr).

Mini-Seminararbeit

Im Laufe des Proseminars werden Themen aus den Bereichen Logik, theoretischer Informatik und künstliche Intelligenz vergeben, die von den Studierenden selbständig ausgearbeitet werden sollen.

Diese Ausarbeitung (maximal 4 Seiten) soll mit LaTeX erstellt werden und die folgenden Kriterien werden zur Evaluierung der Seminararbeit herangezogen:

• Inhalt und Literaturrechere
• Form
• Zitiertechnik
• LaTeX Sourcecode

Abgabeterm: 4. Juni

Reviews

Darüberhinaus wird jeder Studierende drei Mini-Seminarbeiten von KollegInnen erhalten, die zu bewerten sind. Diese Bewertungen folgen in der Form den üblichen reviews von Konferenzbeiträgen. Die folgende Kriterien werden zur Evaluierung der reviews herangezogen:

• Ausführlichkeit
• Ausgewogenheit

Abgabeterm: 18. Juni