Terminplanung und 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

18.10.2013 Planungsitzung
25.10.2013 (12:30) Kiselev Alexander, Online Versuchsplanung, Modellbildung und Optimierung am Motorenprüfstand
08.11.2013 Stephan Barth, Demonstration of an MSO solver
15.11.2013 Gordon Cichon, Formale Verifikation von Hardware
22.11.2013 (noch kein Vortrag)
29.11.2013 (noch kein Vortrag)
06.12.2013 Sabine Bauer, Scientific programming
13.12.2013 (noch kein Vortrag)
20.12.2013 Martin Hofmann
10.01.2014 (Berufungsvorträge Nachfolge Kriegel)
17.01.2014 (noch kein Vortrag)
24.01.2014 (noch kein Vortrag)
31.01.2014 Uli Schöpp
07.02.2014 Daniel Kolb