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

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