Ausgewählte Vorträge von Prof. Thomas

Church's Problem After 50 Years
Vortrag zum Workshop "LSV 10 Years", in dessen Rahmen auch Patricia Bouyer mit der CNRS Bronzemedaille und Kim Larsen mit dem Doctor honoris causa geehrt wurden. Cachan, Frankreich, November 2007
Logical Refinements of Church's Problem
Eingereichter Artikel (mit A. Rabinovich), Games und CSL 2007. Lausanne, Schweiz, September 2007
Perspectives of Algorithmic Model Theory
Eingeladener Vortrag, 13th Congress of Logic, Methodology and Philosophy of Science. Peking, China, August 2007
Automata Theoretic Foundations of Infinite Games
Tutorial, Colloquium "New Perspectives on Games and Interaction", Royal Netherlands Academy of Arts and Sciences. Amsterdam, Niederlande, February 2007
On Products and Sums: The Feferman-Vaught Approach
Workshop "Algebraic Theory of Automata and Logic", Forschungsnetzwerk AutoMathA der European Science Foundation (ESF). Szeged, Ungarn, September 2006
The Ordering of the Natural Numbers with a Unary Predicate: Approaches to Show Decidability Results
Eingeladener Vortrag, Journées Montoises. Rennes, Frankreich, August 2006
Automata Theory and Infinite Transition Systems
Tutorial, EMS Summer School CANT 2006. Liège, Belgien, May 2006
Alan Turing
Vortragsvideo von der Tagung: INFORMATIK 2012, Braunschweig