"Accueil"
Introduction
The sixth edition of the workshop "réalisabilité à Chambéry" will happen between the 4th of June and the 7th of June, in le Bourget du Lac (France), next to Chambéry. Just like for the previous editions (2008, 2009, 2010, 2011 and 2012), we only aim at being a simple gathering of people interested by realisability in its different forms. Students are particularly welcome.
This year's meeting will take the form of a small "spring school" for students (Master students as well as PhD students).
- Alexandre Miquel (from Lyon) will give a thorough introduction to classical ("Krivine's") realizability followed by an advanced course,
- Hugo Herbelin (from Paris) will give a small course about reducibility candidates and their relationship with completeness proofs.
The program will be made 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,
- ...
Student Grants
We will offer a couple of grants covering the cost of a CROUS room on campus and (part of) the travel for students wanting to present their work at the workshop. If you want to apply for such a grant, register for the workshop and check the appropriate box.
Organizing Commitee
- Pierre Hyvernat (Pierre.Hyvernat@univ-savoie.fr),
- Christophe Raffalli (Christophe.Raffalli@univ-savoie.fr).
Sponsors
 |
 |
 |
 |
