Uni-Logo

Oberseminar Arbeitsbereich Programmiersprachen WS 05

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 Seminar findet jeden Dienstag von 16:00 Uhr bis 18:00 Uhr in SR 00-019, GB079, statt.

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.

Next Meeting(s)

Di, 12/07/05

Discussion about

Olaf Chitil and Dan McNeill and Colin Runciman

Lazy Assertions (IFL 2003)

Past Meeting(s)

Di, 05/07/05

Discussion about

Robert Findler and Matthias Felleisen

Contracts for Higher-Order Functions (ICFP'02)

Di, 28/06/05

Discussion about

Yitzhak Mandelbaum and David Walker and Robert Harper

An effective theory of type refinements (ICFP'03)

Di, 21/06/05

Discussion about

Jeremy Siek and Andrew Lumsdaine

Essential Language Support for Generic Programming (PLDI'05)

http://www.informatik.uni-freiburg.de/~neubauer
, Feb 28, 2005