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
19.04. Terminvergabe 26.04. (IFI-Kolloquium: Gurevich, Federated Policy Management) 03.05. Gordon: Numerical Precision Analysis 10.05. (Fenstertag) 17.05. Martin: Proof-relevant logical relations 24.05. Andreas: Habiltestvortrag 31.05. Habilitationsvortrag Andreas Abel, Raum B101 (!) 07.06. (niemand) 14.06. Stephan: Parametrized finite automata 21.06. Ulrich: Irgendwas mit CPS und MLTON 28.06. (schon wieder niemand) 03.07. Kevin Hammond: ParaForming: Forming Parallel Functional Programs using Advanced Refactoring Techniques 05.07. Sabine: List Constraints 12.07. Steffen: TBA 19.07. Christoph: TBA
Artikelaktionen
abgelegt unter:
Oberseminar