Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2011/12 / 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

21.10.2011  Planungssitzung
28.10.2011  Andreas Rossberg (Google München), F-ing modules
04.11.2011  Andres Loeh (Well-Typed), 
11.11.2011  Andreas Abel, Subtyping Dependent Types
18.11.2011  Martin Hofmann, 
25.11.2011  Yangyue Feng, 
02.12.2011  Vivek Nigam,
09.12.2011  Stephan Barth, Minimization of Büchi Automata
16.12.2011  Vivek Nigam,

13.01.2012  Steffen Jost, Probleme bei der faulen Analyse
20.01.2012  Markus Latte,
27.01.2012  Dulma Rodriguez, 
03.02.2012  Ramyaa
17.02.2012  Uli Schoepp,
27.02.2012  Sabrina Schewtschenko, USTCON in logspace

 

Artikelaktionen


Funktionsleiste