[PT] Realizability in Chambery
Tom Hirschowitz <[email protected]>
| Newsgroups | gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
Dear all, This is the official announcement for the fourth workshop "Réalisabilité à Chambéry". This year's workshop will take place during week 24: from Tuesday the 14th of June to Friday the 17th of June. The special "theme" is "realizability and games". Partial information is gathered on the web page: http://lama.univ-savoie.fr/~hyvernat/Realisabilite2011/ and you can register for the workshop there: http://lama.univ-savoie.fr/~hyvernat/Realisabilite2011/ registration.php There will be an invited course given by John Longley (Edinburgh) and two invited seminars by Stefano Berardi (Torino) and Olivier Laurent (Lyon). There will be 2 sessions for contributed talks, and PhD students are particularly encouraged to submit a talk. (There will be no official proceedings though.) More details about contents of invited talks and schedule will be added to the web page when available. Meanwhile, feel free to register (via the web page), submit talks or contact me for additional details (or comments). Note: the workshop will be similar in spirit to the last one. There is no registration fee, but the organizing committee doesn't organize much besides the actual workshop. It should be possible to get a student room (on campus, very cheap, but only a bare room). Since some renovations are planned, I cannot say how many such rooms will be available. Students will of course be given priority for those, but anyone may ask for one... Other possibilities for accommodation are given on the web page: http://lama.univ-savoie.fr/~hyvernat/Realisabilite2011/logistic.php Tom