Theorieseminar

Das Seminar fand in diesem Semester als Blockveranstaltung am 12.6.2008 statt. Es gab folgende Vorträge:

• Stefan Bolus, Algorithmen zum Lösen von Paritätsspielen
• Jost Bissel, Alternierung und Komplementierung bei ω-Automaten
• Jan Dahlke, Alternierung und Büchi-Akzeptierbedingung bei Baumautomaten
• Martin Köper, EC‑ und Geldkarte