[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


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



Pierre Hyvernat
-- 
The reason he never stops talking is because he's got
nothing to say and so he doesn't know when he's said it.
    -- John Major

Reply via email to