Dozent

Lecturer

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

Ort und Zeit

PS

Wednesday

12:15 – 13:45

HSB 5

Georg Moser

Beginn des Proseminars am 5. März.

Bitte registrieren Sie sich online für das Proseminar (bis spätestens 1. März, 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) muss mit LaTeX erstellt werden und die folgenden Kriterien werden zur Evaluierung der Seminararbeit herangezogen:

• Inhalt und Literaturrechere
• Form
• Zitiertechnik
• LaTeX Sourcecode

Abgabeterm: 28. Mai

Reviews

Darüberhinaus werden jedem Studierenden drei Mini-Seminarbeiten von KollegInnen zugewiesen, 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

Zuweisung der Reviews

Die Mini-Seminararbeiten sind laufend nummeriert. Sei diese Nummer für Ihre Arbeit n, dann sind die Arbeiten n+1, n+2, und n+3 (jeweils mod 27) von Ihnen zu begutachten. Verwenden Sie dazu jeweils ein eigenes Reviewformular und nummerieren Sie dieses entsprechend: review_form_n+1.txt, review_form_n+2.txt, review_form_n+3.txt.

Die Abgabe erfolgt elektronisch. Senden Sie ein zip-file, das zu einem Verzeichnis mit Ihrem Nachnamen (kleingeschrieben) entpackt und Ihre drei Gutachten enthält.

Abgabeterm: 18. Juni.