Terminplanung und Hinweise
Vortragstermin-Planung und allgemeine 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
Artikelaktionen
abgelegt unter:
Oberseminar