Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2013 / Oberseminar / Terminplanung und Hinweise


Inhaltsbereich

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:

Funktionsleiste