Homepage> Oberseminar Wintersemester 2008

Oberseminar Wintersemester 2008

Inhalt

Im Oberseminar werden aktuelle Forschungsarbeiten im Bereich Softwaretechnik vorgestellt und diskutiert. In der Regel sind dies Arbeiten aus einer der Forschungsgruppen in Kaiserslautern, von Gästen oder neuere Veröffentlichungen von Top-Konferenzen. Das Oberseminar richtet sich an alle, die ein besonderes Interesse an Softwaretechnik haben.

Voraussetzungen

Bachelor oder entsprechende Qualifikation

Leistungsnachweis und Prüfungen

nach Absprache

Ansprechpartner

Jan Schäfer

Ort und Zeit

Falls nichts anderes angegeben ist, findet das Oberseminar in folgendem Raum und zu folgender Uhrzeit statt:

Ort: 34/420
Zeit: Donnerstags, 14:00 Uhr

Termine

Datum Zeit Ort Vortragender Titel
22.01.09 17:00 Uhr 34/420 Dr. Barbara Sprick (TU Darmstadt) On the Decidability of Information Flow Properties
20.11.08 14:15 Uhr 34/420 Christoph Feller Ein starkes Kriterium zum formalen Nachweis von Übersetzungskorrektheit
20.11.08 13:45 Uhr 34/420 Otmar Ginkel Approximation von Objektgraphen
13.11.08 14:00 Uhr 34/420 Yannick Welsch OOPSLA Paper Overview