18 Apr - 3 May 2013
Mons, Belgium
FRANCQUI CHAIR 2012-2013
Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the
Department of Computer Science, University of Mons (Belgium). He is Full
Professor of Computer Science at RWTH Aachen (Germany). His main research
interest is the development of automata theory as a framework for
modeling, analyzing, verifying and synthesizing systems.
He will give a series of Francqui lectures on Logic and Automata:
Fundamentals and Perspectives
Attendance is free, but registration is required before April 10, 2013
PROGRAM
Inaugural lecture
Thursday, April 18, 2013
[17:00-17:30] Welcome
[17:30-19:00] Logic, Algorithms, and Automata: A Historical Journey
[19:00] Reception
Francqui lecture series
Friday, April 26, 2013: Monadic Theories
[10:00-11:00] Results of the Golden 1960?s Revisited
[11:00-11:30] Coffee Break
[11:30-12:30] Prefix Rewriting and the Pushdown Hierarchy
[12:30-14:00] Lunch
[14:00-15:00] The Composition Method
[15:00-15:30] Coffee Break
[15:30-16:30] Undecidability Results
Friday, May 3, 2013: Games
[10:00-11:00] The Fundamental Results on Infinite Two-Person Games
[11:00-11:30] Coffee Break
[11:30-12:30] Strategies in a Logical Setting
[12:30-14:00] Lunch
[14:00-15:00] Concepts of Strategy
[15:00-15:30] Coffee Break
[15:30-16:30] Winning Infinite Games in Finite Time
PRACTICAL INFORMATION
http://informatique.umons.ac.be/tcs/Francqui/
Location : University of Mons (Belgium)
Attendance is free, but registration is required before April 10, 2013
The Francqui Chair is financed by the Francqui Foundation