[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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.