GAMES RTN > Events

Spring School on Infinite Games and Their Applications
Bonn, 15. -- 19. March 2005

This school, organized by the EU Training and Research Network GAMES (Games and Automata for Synthesis and Validation) gives an introduction to the algorithmic theory of infinite games, an active and expanding area of research with applications in modelling, verifying, and synthesizing reactive systems and close ties to logic and semantics. The tutorials are directed to young researchers who want to enter the field; topics covered include set-theoretic and automata theoretic foundations, games and model-checking, games and semantics, and algorithmic synthesis of e.g. distributed, timed, and infinite-state systems.

• Parosh Abdulla: From montonic transition systems to monotonic games
  (slides for presentation and printout)
• Luca de Alfaro: Stochastic games
  (slides for presentation and printout)
• Patricia Bouyer: Synthesis of timed systems
  (slides for presentation and printout)
• Jacques Duparc: Set-theoretic foundations: Borel sets and determinacy
  (slides for presentation and printout)
• Erich Grädel: Model checking games
  (slides for presentation and printout)
Luke Ong: Games and semantics
(slides for presentation and printout)
• Wolfgang Thomas: Automata-theoretic foundations of infinite games
  (slides for presentation and printout)
• Igor Walukiewicz: Distributed synthesis
  (slides for presentation and printout)
• Thomas Wilke: Synthesis from knowledge based specifications
  (slides for presentation and printout)

	Tuesday, March 15
	9.00 - 9.15	Opening of spring school
	9.15 - 10.15	Erich Grädel: Model checking games, I
	10.15 - 10.30	Coffee break
	10.30 - 12.00	Wolfgang Thomas: Automata-theoretic foundations of infinite games, I
	12.00 - 14.00	Lunch
	14.00 - 15.00	Wolfgang Thomas: Automata-theoretic foundations of infinite games, II
	15.00 - 15.30	Coffee break
	15.30 - 17.00	Erich Grädel: Model checking games, II
	Wednesday, March 16
	9.00 - 10.00	Thomas Wilke: Synthesis from knowledge based specifications, I
	10.00 - 10.15	Coffee break
	10.15 - 11.15	Thomas Wilke: Synthesis from knowledge based specifications, II
	11.15 - 11.30	Coffee break
	11.30 - 12.30	Parosh Abdulla: From monotonic transition systems to monotonic games, I
	12.30 - 14.00	Lunch
	14.00 - 15.30	Parosh Abdulla: From monotonic transition systems to monotonic games, II
	15.30 - 16.00	Coffee break
	16.00 - 17.00	Luke Ong: Games and semantics, I
	Thursday, March 17
	9.00 - 10.30	Luke Ong: Games and semantics, II
	10.30 - 11.00	Coffee break
	11.00 - 12.30	Jacques Duparc: Set-theoretic foundations: Borel sets and determinacy, I
	12.30 - 14.00	Lunch
	Afternoon	Excursion
	Friday, March 18
	9.00 - 10.00	Jacques Duparc: Set-theoretic foundations: Borel sets and determinacy, II
	10.00 - 10.30	Coffee break
	10.30 - 12.00	Patricia Bouyer: Synthesis of timed systems, I
	12.00 - 14.00	Lunch
	14.00 - 15.00	Patricia Bouyer: Synthesis of timed systems, II
	15.00 - 15.15	Coffee break
	15.15 - 16.15	Luca de Alfaro: Stochastic games, I
	16.15 - 16.30	Coffee break
	16.30 - 17.30	Igor Walukiewicz: Distributed synthesis, I
	Evening	School Dinner
	Saturday, March 19
	9.00 - 10.30	Luca de Alfaro: Stochastic games, II
	10.30 - 11.00	Coffee break
	11.00 - 12.30	Igor Walukiewicz: Distributed synthesis, II
	12.30	Closing of spring school

The school is held in the Bonn-Aachen International Center for Information Technology, a new building just on the Rhine, which formerly was used for government purposes. There is an opportunity to see the city of Bonn with its many remarkable sites, as well as the Rhine valley during an excursion.

In cooperation with the European Educational Forum