Annual Meeting "GT Jeux 2012"

The annual meeting of GT Jeux, the Games working group of the CNRS consortium GDR Informatique Mathematique will be held on 20-21 September 2012 at ENS Cachan, in the Pavillon des Jardins building -- number 5 on the campus map. See the access map for reaching the campus.

Programme

Thursday 20 September 2012

14:00-15:00

Keynote talk: Partial-observation stochastic games: How to win when belief fails
Laurent Doyen, CNRS - ENS Cachan

15:00-15:25

Strategy Synthesis for Multi-dimensional Quantitative Objectives
Michael Randour, Université de Mons

15:25-16:00 Coffee break
16:00-17:40 Contributed talks
  • On the determinacy of infinite games specified by asynchronous two-tape Büchi automata
    Olivier Finkel, Université Paris Diderot
  • Banach-Mazur games with simple winning strategies
    Simon Lessenich, RWTH Aachen University
  • Towards a notion of uniform strategies
    Bastien Maubert, IRISA Rennes
  • Board games and descriptive complexity
    Łukasz Kaiser, Université Paris Diderot
19:00 Dinner

Friday 21 September 2012

9:00-10:00

Keynote talk: Strategy synthesis - from specification to implementation
Sven Schewe, University of Liverpool

10:00-10:25

Synthesis from LTL specifications with mean-payoff objectives
Aaron Bohy and Veronique Bruyère, Université de Mons

10:25-10:50 Coffee break
10:50-12:30 Contributed talks
  • Cost-parity games
    Nathanaël Fijalkow, Université Paris Diderot
  • Two-player stochastic meta-parity games
    Matteo Mio, Ecole Polytechnique
  • Model checking an epistemic mu-calculus
    Cătălin Dima, Université Paris Est - Créteil
  • Tensorial logic with fixed points
    Paul-André Melliès, Universté Paris Diderot

Keynote Speakers

Registration

Registration is closed.

Programme Committee

Important Dates

Contributions: September 10
Notification: September 12
Registration: September 15
Workshop: September 20 - 21, 2012

Contact

For more information, please contact the local organisor Dietmar Berwanger.