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
Datum | Titel | Referent |
---|---|---|
17.12.08 | Delayed Types (Fähndrich, Xia) | Peter Thiemann, Phillip Heidegger |
07.01.09 | Monotone Typestates, Modular Typestate Checking, Transactions with Isolation, Deep Java, ??? | Alle |
14.01.09 | Probevorträge FOOL | Phillip Heidegger, Peter Thiemann |
21.01.09 | ---entfällt--- | |
28.01.09 | EasyOCaml - Verbesserte Fehlermeldungen und Sprachlevels für OCaml | Benus Becker |
04.02.09 | ||
11.02.09 | ||
18.02.09 | ||
04.03.09 | OOPSLA 2008 papers | |
11.03.09 | Diplomarbeitsvortrag | Jörg Rudolph |