12.6.13: Zur algorithmischen Theorie unendlicher Spiele

an diesem Mittwoch (12.6.2013) um 17h15 trägt Prof. Dr.Dr.h.c. Wolfgang Thomas von der RWTH Aachen im Kolloqium der TU Darmstadt vor, Raum S2/14-24.

Thema: Zur algorithmischen Theorie unendlicher Spiele

Herr Thomas ist Sprecher der GI-Fachgruppe "Grundlagen der Informatik"
und bekannt für seine hervorragenden Vorträge -- wie bspw. auf der Informatik 2012 die Keynote zum Turing Jahr


Ich darf Sie herzlich dazu einladen.

Mit freundlichen Grüßen

Martin Ziegler
ziegler@mathematik.tu-darmstadt.de