Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2014/15 / Oberseminar / Terminplanung und Hinweise


Inhaltsbereich

Terminplanung und Hinweise

Vortragstermin-Planung und allgemeine Hinweise

Hinweise

  • Bei Fragen oder Änderungswünschen bitte melden bei: stephan [dot] barth [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

10.10.2014 Planungssitzung & Martin Hofmann (Logical Relations and Nondeterminism)
17.10.2014 Gordon Cichon (segmented scan)
24.10.2014 (noch kein Vortrag)
31.10.2014 (noch kein Vortrag)
07.11.2014 Georg Moser (Weighted Automata Theory for Complexity Analysis of Rewrite Systems)
14.11.2014 Markus Fußenegger (tba)
21.11.2014 Hans Leiß (Lernen von Kontexfreien Grammatiken)
28.11.2014 Jan Johannsen (Backdoor into two occurrences)
05.12.2014 Tobias Rosenberger (Observational type theory and setoids in Agda)
12.12.2014 Liesbeth Claessens (Mehrwertige Logik)
19.12.2014 Andreas Dewes (Quantified Code)
26.12.2014 (Ferien)
02.01.2015 (Ferien)
09.01.2015 Steffen Jost (tba)
16.01.2015 Christian Neukirchen & Serdar Erbatur (tba)
23.01.2015 Stephan Barth (Path Compressed Finite Automata?) & Christoph-Simon Senjak (tba)
30.01.2015 Sabine Bauer (tba)

 

Artikelaktionen

abgelegt unter:

Funktionsleiste