Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2010/11 / 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.

 

Termin-Planung (vorläufig)

29.10. Jan Hoffmann, Polymorphic Recursion in RAML
05.11. Brigitte Pientka, Beluga: Programming proofs with contexts and ...
12.11. Steffen Jost, The Advance Project
19.11. Oliver Friedmann, On Lower Bounds for Policy Iteration
26.11. Vivek Nigam, Maintaining Distributed Recursive View Incrementally
03.12. Robert Grabowski
10.12. Julien Oster, Red-Black-Trees in Agda und Alex Messner, Diplomarbeit
17.12. Michael Mayer, Ein Interpreter fuer LFPL und Andreas Abel, Coinduction?
 
14.01. Henning Sudbrock (TU Darmstadt)
21.01. Dulma Rodriguez
28.01. Markus Latte
04.02. Uli Schoepp
 
 

Artikelaktionen


Funktionsleiste