Terminplanung und Hinweise

Hinweise

• Bei Fragen oder Änderungswünschen bitte melden bei: andreas [dot] abel [at] ifi [dot] lmu [dot] de
• Vortragsankündigungen erscheinen sowohl auf der TCS-Webseite als auch auf der Oberseminar-Mailingliste. Hier klicken, um sich auf dieser Mailingliste anzumelden und damit Ankündigungen per E-Mail zu erhalten.
• Frühere Vortragsankündigungen befinden sich auf den Lehre-Seiten der entsprechenden Semester, noch frühere (bis einschließlich Sommersemester 2009) auf der alten Oberseminar-Seite.

Vorläufige Planung

27.04. Planungssitzung
04.05. Beta Zillani, How to make ad hoc proof automation less ad hoc
11.05. Vivek Nigam, Complexity of linear authorization logics
18.05. (Fenstertag)
25.05. Diego Alonso
01.06. Julius Burkart, DA
08.06. (Fenstertag)
15.06. Markus Latte, CTL+ Axiomatization
22.06. Uli Schoepp, TBA
29.06. PUMA Evaluation
06.07. Stephan Barth
13.07. Martin Hofmann
20.07. David Thibodeau