Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2012/13 / 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.10. Planungssitzung
26.10. Stephan Barth, Report from Theorietag 2012, Prague
02.11. (Brückentag)
09.11. Matthias Benkard, Type checking without types (DA) [Ab 16.00 Uhr Hennicker-Fest]
16.11. [Ab 15.00 Uhr Festkolloquium Mathematik] 
23.11. Sebastian Franz (Bachelor Disputation [Gesellenstück])
30.11. Ramyaa, Non-Deterministic Graph Algorithms
07.12. Steffen Jost, Case Study of an Automatic Amortised Analysis for Lazy Functional Programs
14.12. Wei, Isomorphisms of polynomial types as algebraic equations
21.12. Christoph Senjak, A Semantics for Relaxed Synchronous Data Structures (A. Sokolov)

11.01. Ulrich Schoepp, TBA
18.01. Andreas Abel, Copatterns
25.01. (POPL 2013)
01.02. Martin Hofmann, Büchi Types
08.02. Peter Schuster, Ideal Objects for Finite Methods

 

Artikelaktionen

abgelegt unter:

Funktionsleiste