Zur Startseite der Abteilung Theoretische Informatik

Ausgewählte Themen der Theoretischen Informatik (WS 2013/14)

Termine

ZeitRaumTermine
Mo 14:00-15:30 0.108 wöchentlich ab 14.10.2013

Am 14.10.2013 findet die Vorbesprechung und Themenvergabe im Fakultätssitzungssaal statt (2.013).

  • Setzen Sie sich rechtzeitig mit Ihrem Betreuer in Verbindung.
  • Veranschlagen Sie höchstens eine Stunde für Ihren Vortrag.
  • Vorträge werden an der Tafel gehalten. Keine Präsentationen mit Hilfe des Rechners!
  • Ab dem zweiten Vortrag wird ein zufällig ausgewählter Student aufgefordert eine Zusammenfassung des letzten Vortrags vorzutragen. Diese Aufforderung kann einmalig abgelehnt werden.
Vorläufige Terminplanung:
Datum Vortragender Thema
14.10.13 Vorbesprechung
21.10.13 M. Knupfer Det. Verifikation der Multiplikation von Integer-Matrizen
28.10.13 N. Kaulitz Averaging Trick & Cerný Conjecture (Paper)
04.11.13 J. Schröder Universal Traversal Sequences (Paper)
11.11.13 L. Sauer Separating regular languages by piecewise testable languages (Paper)
18.11.13 P. Martis
S. Richter
Lernen regulärer Sprachen (Teil 1) (Paper)
25.11.13 Lernen regulärer Sprachen (Teil 2) (Paper)
02.12.13 M. Fischer
P. Hosseyni
Local Lovász Lemma (Teil 1) (Paper)
09.12.13 Local Lovász Lemma (Teil 2) (Paper)
16.12.13 L. Schulz
S. Gaiser
E. Akcay
Parity Games (Teil 1)
13.01.14 Parity Games (Teil 2) (Paper)
20.01.14 Parity Games (Teil 3) (Paper)
27.01.14 M. Göggelmann Lokale Kompression auf Wortgleichungen (Paper)
03.02.14 A. Dörr Lernen regulärer Sprachen (Teil 3)