Image
Francqui Chair 2012-2013:
Prof. Wolfgang Thomas
Image
Registration is closed

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the
Department of Computer Science, Faculty of Sciences, UMONS. Wolfgang
Thomas 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.





Logic and Automata: Fundamentals and Perspectives

Inaugural lecture at building "Centre Vésale" (Room 20)

Thursday, April 18, 2013  

  • [17:00-17:30] Welcome
  • [17:30-19:00] Logic, Algorithms, and Automata: A Historical Journey [slides]
  • [19:00] Reception

Francqui lecture series at building "Centre Vésale" (Room 25)

Friday, April 26, 2013: Monadic Theories  

  • [10:00-11:00] Results of the Golden 1960’s Revisited [slides]
  • [11:00-11:30] Coffee Break
  • [11:30-12:30] Prefix Rewriting and the Pushdown Hierarchy [slides]
  • [12:30-14:00] Lunch
  • [14:00-15:00] The Composition Method [slides]
  • [15:00-15:30] Coffee Break
  • [15:30-16:30] Undecidability Results [slides]

Friday, May 3, 2013: Games  

  • [10:00-11:00] The Fundamental Results on Infinite Two-Person Games [slides]
  • [11:00-11:30] Coffee Break
  • [11:30-12:30] Strategies in a Logical Setting [slides]
  • [12:30-14:00] Lunch
  • [14:00-15:00] Concepts of Strategy [slides]
  • [15:00-15:30] Coffee Break
  • [15:30-16:30] Winning Infinite Games in Finite Time [slides]


Francqui Foundation

Image

The Francqui Chair is financed by the Francqui Foundation.






For any question, please contact Véronique Bruyère.