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