Chaire Francqui : Prof. Wolfgang Thomas

Imprimer la pageImprimer la page || VERSION PDF: Enregistrer au format PDF
JPG - 37.8 ko

Francqui Chair 2012-2013 :

Prof. Wolfgang Thomas

Dans le cadre d’une Chaire Francqui, Wolfgang Thomas (RWTH Aachen) donnera une série de leçons sur la logique mathématique, les automates et les jeux, à l’UMONS.

La leçon inaugurale aura lieu le jeudi 18 avril 2013 à partir de 17h ; les leçons sont réparties sur deux journées : les vendredi 26 avril et 3 mai 2013.

La participation est gratuite, mais l’inscription est obligatoire notamment pour les lunchs des 26 avril et 3 mai.

Renseignements et inscription sur : http://informatique.umons.ac.be/tcs/Francqui/

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 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


Source : http://informatique.umons.ac.be/tcs/Francqui/

Mis en ligne le 31 janvier 2013 par Charlotte BOUCKAERT