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:
Oberseminar