Uni-Logo

Oberseminar Arbeitsbereich Programmiersprachen

WS 2008/2009

Das Oberseminar Programmiersprachen ist ein wöchentliches Treffen, in dem sich die Mitarbeiter, Doktoranden und Diplomanden des Arbeitsbereichs treffen, um neue Arbeiten (oder auch Bücher) aus dem Bereich Programmiersprachen zu diskutieren. Typischerweise lesen die Teilnehmer die ausgesuchte Arbeit vor dem Treffen, während des Oberseminars Fragen geklärt und interessante Punkte der Arbeit diskutiert. Jeder an Forschung im Bereich Programmiersprachen Interessierte ist willkommen.

Das Datum und die Zeit, sowie der Ort des Oberseminars wird noch bekannt gegeben.

Darüber hinaus ist das Oberseminar das Forum, in dem nach besonderer Ankündigung Abschlussvorträge zu Studien- und Diplomarbeiten stattfinden sowie Berichte über neue Forschungsergebnisse des Arbeitsbereichs präsentiert werden.

Programm

DatumTitelReferent
17.12.08Delayed Types (Fähndrich, Xia)Peter Thiemann, Phillip Heidegger
07.01.09Monotone Typestates, Modular Typestate Checking, Transactions with Isolation, Deep Java, ???Alle
14.01.09Probevorträge FOOLPhillip Heidegger, Peter Thiemann
21.01.09---entfällt---
28.01.09EasyOCaml - Verbesserte Fehlermeldungen und Sprachlevels für OCamlBenus Becker
04.02.09
11.02.09
18.02.09
04.03.09OOPSLA 2008 papers
11.03.09DiplomarbeitsvortragJörg Rudolph