Seminar: Types and Programming Languages

• Beschreibung
• Prüfungsleistung
• Zeitplan
• Ausarbeitung
• Themen
• Material

Beschreibung

Typsysteme sind ein wichtiger Bestantdeil moderner Programmiersprachen. Sie garantieren Sicherheitsaspekte von Programmen, können bei Optimierung helfen und dienen der Dokumentation.

In den ersten Wochen des Seminars werden die notwendingen Grundlagen durch die Lektüre und gemeinsame Diskussion ausgewählter Kapitel aus "Types and Programming Languages" [1] erworben. In späteren Seminarsitzungen stellen dann die Teilnehmer ihre erarbeiteten Themen vor.

Prüfungsleistung

• Vorbereitung und Halten eines 30-minütigen Vortrags
• Erstellen einer Ausarbeitung (10 - 15 Seiten)
• Erstellen eines Reviews zu einer Ausarbeitung
• Aktive Teilnahme an den Seminarsitzungen

In einem Seminar werden in erster Linie Fachkenntnisse vertieft, aber auch Kompetenzen vermittelt, die eine notwendige Grundlage für eine wissenschaftliche Arbeitsweise sind. Dazu gehören:

• Eigenständige Literaturrecherche
• Lesen und Verstehen von wissenschaftlichen Texten
• Vortragstechniken
• Erstellen einer schriftlichen Ausarbeitung

Ablauf

• Jeder Teilnehmer hat 30 Minuten Zeit für den Vortrag, dannach gibt es 15 Minuten Zeit für Fragen bzw. die Diskussion des Vortrags.
• Bis Ende Mai soll jeder Teilnehmer ein Treffen mit seinem Betreuer abhalten, wo das Paper grob durchgesprochen werden kann!
• Ein Entwurf der Ausarbeitung muss bis zum 04. Juli abgegeben werden!
• Das Review einer anderen Ausarbeitung muss bis zum 11. Juli abgegeben werden!
• Der Vortrag (Folien) muss bis zum 25. Juli dem Betreuer vorliegen.

Diese Termine sind unbedingt einzuhalten um erfolgreich an dem Seminar teilzunehmen!

Zeitplan

In den ersten Sitzungen werden wir folgende Abschnitte aus "Types and Programming Languages" [1] von Benjamin C. Pierce besprechen:

In der Sitzung am 13.05.2014 werden die Vortragsthemen verteilt. Die Vorträge der Seminarteilnehmer werden am Ende des Semesters stattfinden.

Vortragstermine

Ausarbeitung

Die Ausarbeitung soll 10-15 Seiten umfassen. Sie muss mit LaTeX und dem Template LNCS erstellt werden. Abgabetermin für die Ausarbeitung ist der 25.07.2014.

Das Review soll 1-2 Seiten umfassen. Es muss mit LaTeX und dem Template LNCS erstellt werden. Abgabetermin für das Review ist der 11.07.2014.

Themen

Material

Das Seminar wird zunächst Teile des Buches "Types and Programming Languages" von Benjamin C. Pierce besprechen. Es ist in der Fakultäsbibliothek verfügbar. Darüberhinaus sollen aktuelle Publikationen auf dem Gebiet der Typtheorie vorgestellt werden.