Links und Funktionen
Sprachumschaltung

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

15.04.2016 (kein Vortrag)
22.04.2016 Igor Walukiewicz (The Diagonal Problem for Higher-Order Recursion Schemes is Decidable)
29.04.2016 (kein Vortrag)
06.05.2016 (Brückentag)
13.05.2016 Julian Marcel Jorczik Sanchez (Bachelorarbeit: Verifikation von Sicherheitsprogrammierrichtlinien mit Soot) & Raffaella Germano (Bachelorarbeit: Algorithmen auf omega-Wort- und Baumautomaten)
20.05.2016 Stephan Barth (Deciding Monadic Second Order Logic over ω-words by Specialized Finite Automata)
27.05.2016 (Brückentag)
03.06.2016 Katharina Schroer & Serdar Erbatur
10.06.2016 Jeremy Ledent
17.06.2016 Martin Hofmann
24.06.2016 Christian Neukirchen & Steffen Jost
01.07.2016 Gordon Cichon
08.07.2016 Sabine Bauer
15.07.2016

Artikelaktionen


Funktionsleiste