|
|
|
|
The spring school
The spring school is the 38th School in the series of "Ecole de Printemps d'Informatique Théorique" and is supported by the ESF project GAMES, the CNRS, GdR Informatique Mathématique andLaBRI.
The lectures
The spring school consists in nine lectures presenting important developments in language theory, automata, and games.
Abstracts and slides are available there and the schedule is there.
- 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.
Abstracts are available there and the schedule is there.
Dates and venue
The school will take place at end of May, Monday the 23rd to Friday the 27th,
in France, near Bordeaux, in
Carcans-Maubuisson.
.
The accomodation is in the
holiday center "Les Bruyères"
which is
there
and
here is some touristic information about Carcans-Maubuisson.
Buses
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.
Schedule
The lectures are scheduled as follows:
Monday
- 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)
Tuesday
- 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)
Wednesday
- 9 :00 - 10 :30 Stochastic pushdown games (II)
- 11 :00 - 12 :00 Algebraic approach to tree languages (II)
- 14 :00– Excursion
Thusday
- 9 :00 - 10 :30 Profinite 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)
Friday
- 9 :00 - 10 :30 Games, recursion schemes, and semantics (II)
- 11 :00 - 12 :00 Profinite 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.
Deadlines
- Registration with grant: March the 7th
- Grant notifications: March the 17th
- Registration without grant: April the 4th
Grants
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.
Sponsors
The school is supported by the following sponsors:
- ESF Research Networking Programme "Games for Design and Verification".
- CNRS
- GdR Informatique Mathématique
Contact
This school is organized by Hugo Gimbert and Igor Walukiewicz. For further information, please email: games-epit@labri.fr.