06.06.2008

Seminar am 19. Juni

Am Donnerstag, den 19.06.2008 findet ein Blockseminar zu Themen der theoretischen Informatik statt. Vorgesehen sind Vorträge zu Paritätsspielen, ω-Automaten, Baumautomaten und Kryptographie geben:

• 9:30 Uhr: Jost Bissel
  Komplementierung von ω-Automaten durch schwache Alternierung
• 11:15 Uhr: Jan Dahlke
  Von (Co-)Büchi-Baumautomaten zu schwach alternierenden Baumautomaten
• 14:00 Uhr: Martin Köper
  Wie funktioniert die EC-Karte?
• 15:30 Uhr: Stefan Bolus
  Ein Algorithmus zur Lösung einfacher stochastischer Spiele

Interessierte Zuhörer sind herzlich willkommen, stattfinden wird das Seminar im Raum 1011 im Hochhaus.