"Accueil"
Introduction
The fourth edition of the workshop "réalisabilité à Chambéry" will take place between the 14th of June and the 17th of June, in le Bourget du Lac (France), next to Chambéry. Just like the previous editions (2008, 2009 and 2010), this year's workshop aims at being a simple gathering of people interested by realisability in its different forms. Students are particularly welcome.
The emphasis for this year will be realisability and games semantics, with John Longley (university of Edinburgh) as the guest lecturer. Stefano Berardi (University of Torino) and Olivier Laurent (École normale supérieure de Lyon) will be the other invited speakers.
The workshop will consist of:
- an invited lecture by John Longley: 6 hours,
- an invited talk by Olivier Laurent: 3 hours,
- an invited talk by Stefano Berardi: 3 hours,
- contributed talks.
The program is available on the program page.
To make things as simple as possible, the workshop only has minimal organization:
- no registration fee (but it is better to register before coming),
- no meals nor dinners officially organized,
- participants can stay in student rooms on campus for minimal cost,
- ...
Events
Invited course
- John Longley, more details on this page.
Invited talks
More details on this page.
Social event
No official social event is organized. Random events including barbecue on the lac, swimming or restaurants have been known to happen spontaneously.
A barbecue is planned for Wednesday evening. Look there for more details.
Organizing Commitee
- Pierre Hyvernat (Pierre.Hyvernat@univ-savoie.fr),
- Christophe Raffalli (Christophe.Raffalli@univ-savoie.fr),
- Tom Hirschowitz (Tom.Hirschowitz@univ-savoie.fr).
