The spring school
The spring school consists in nine lectures presenting important developments in language theory, automata, and games.
- Basic topology and game determinacy. (Jacques Duparc, Lausanne)
- Basic stochastic games (Hugo Gimbert, Bordeaux)
- Basics about algebraic approach to languages (Marc Zeitoun, Bordeaux and Cachan)
- Stochastic pushdown games. (Antonín Kučera, Brno)
- Algebra for tree languages. (Mikołaj Bojańczyk, Warsaw)
- Profinite approach to language theory (Jean-Eric Pin, Paris)
- Games, recursion schemes, and semantics (Luke Ong, Oxford)
- Automata with counters (Thomas Colcombet, Paris)
- Automatic structures (Markus Lohrey, Leipzig)
The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended.
Dates and venue
The school will take place at end of May, Monday the 23rd to Friday the 27th,
in France, near Bordeaux, in
The accomodation is in the holiday center "Les Bruyères" which is there and here is some touristic information about Carcans-Maubuisson.
There are four different options to reach Carcans from Bordeaux on Sunday. Please visit the transportation option webpage to choose your option.
In case you have to wait in Bordeaux, take this opportunity to vist the lovely quais (tramway C from railway station, stop "Place de la Bourse") and have dinner in quartier Saint-Pierre, around there
On Saturday, there will be at least two buses leaving on morning from Carcans-Maubuisson.
The first one will leave at about 08h45 and arrive at airport before 10h00 and railway station before 10h45.
The second bus will leave at about 10h00 and arrive at airport before 11h15 and railway station before 12h00.
In case you need a connection on Friday evening, or for any further information,please contact the organizers.
In case you want to travel on your own,
you can check timetables of bus Keolis Line 710
called "Bordeaux - Carcans (via Ste Hélène)".
According to this website, there is a bus leaving Carcans on Friday evening at 18h45 and arriving at Bordeaux Railway Station at 20h35.
The lectures are scheduled as follows:
- 9 :00 - 10 :30 Basic topology and game determinacy (I)
- 11 :00 - 12 :00 Basic stochastic games (I)
- 15 :00 - 16 :00 Basic topology and game determinacy (II)
- 16 :30 - 18 :00 Basics about algebraic approach to languages (I)
- 9 :00 - 10 :30 Basic stochastic games (II)
- 11 :00 - 12 :00 Basics about algebraic approach to languages (II)
- 15 :00 - 16 :00 Stochastic pushdown games (I)
- 16 :30 - 18 :00 Algebraic approach to tree languages (I)
- 9 :00 - 10 :30 Stochastic pushdown games (II)
- 11 :00 - 12 :00 Algebraic approach to tree languages (II)
- 14 :00– Excursion
- 9 :00 - 10 :30 Proﬁnite approach to language theory (I)
- 11 :00 - 12 :00 Games, recursion schemes, and semantics (I)
- 15 :00 - 16 :00 Automata with counters (I)
- 16 :30 - 18 :00 Automatic structures (I)
- 9 :00 - 10 :30 Games, recursion schemes, and semantics (II)
- 11 :00 - 12 :00 Proﬁnite approach to language theory (II)
- 15 :00 - 16 :00 Automatic structures (II)
- 16 :30 - 18 :00 Automata with counters (II)
Abstracts are available there.
Participation and Registration
The GAMES-EPIT Spring School 2011 is primarily aimed at PhD students and young researchers, but more senior participants are also very welcome.
Participants are asked to pay a contribution of 350 Euro to cover accommodation, breakfasts, lunches, dinners and coffee breaks for the whole duration of the school.
Registration proceeds in two steps:
Pre-registration is accessibe through the CNRS registration webpage.
Please choose the "regular" tarification unless you obtained for a ESF grant.
When your pre-registration is validated, you will receive an email with the link enabling you to fully register to the conference. You will be asked to pay either by credit card, bon de commande, or bank transfer.
- Registration with grant: March the 7th
- Grant notifications: March the 17th
- Registration without grant: April the 4th
The school can offer about 20 grants covering the cost of the stay. There will be also a small number of grants for covering travel costs.
The applications for grants is now closed.
The school is supported by the following sponsors:
- ESF Research Networking Programme "Games for Design and Verification".
- GdR Informatique Mathématique