Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2014 / 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

11.04.2014 Planungssitzung
18.04.2014 (Karfreitag)
25.04.2014 Stephan Barth (Minimization beyond Myhill-Nerode)
02.05.2014 (Brückentag)
09.05.2014 (kein Vortrag angesetzt)
16.05.2014 Martin Hofmann (Cylindric Algebraic Decomposition?) & Alexander Kiselev (Online Versuchsplanung, Modellbildung und Optimierung am Motorenprüfstand)
23.05.2014 Jan Johannsen (Backdoor sets) (23.5.-4.7.)
30.05.2014 (Brückentag) (Gäste?)
06.06.2014 (Gäste?)
13.06.2014 Steffen Jost (Analyse zirkulärer Programme)
20.06.2014 (Brückentag)
27.06.2014 Christoph Senjak (Implementation of Deflate in Coq)
04.07.2014 (Kein Vortrag)
11.07.2014 Christian Neukirchen (Verifikation eines µ-Kalküls-Checkers)

 

Artikelaktionen

abgelegt unter:

Funktionsleiste