[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
----------------------------------------------------------------- Winter School on Game Semantics and Linear Logic Lyon (France), February 8-12, 2010 http://www.ens-lyon.fr/DI/?p=898&lang=en ----------------------------------------------------------------- Overview: ======== The Computer Science department of Ecole Normale Superieure Lyon organizes a winter school on Game Semantics and Linear Logic, from February 8 to 12, 2010. This 5 days (24 hours lecture) school is intended for Master and PhD students, as well as for researchers. It is part of a series of 6 winter schools taking place from January to February 2010 at ENS Lyon (see the link above for more informations about these 6 schools). Topics/Speakers: * Game Semantics with Applications, Dan R. Ghica, University of Birmingham * Linear Logic, Lorenzo Tortora de Falco (University of Roma 3), Olivier Laurent (ENS Lyon) More information on the contents can be found on: http://www.ens-lyon.fr/DI/?p=189&lang=en Registration: ============ There are no registration fees. For organization reasons it is however necessary to register online before *December 14th 2009*; see the following registration page : http://www.ens-lyon.fr/DI/?page_id=886 Location ======== ENS Lyon is located in the south part of the town, easily accessible from the two railway stations. It is also near from the historical town center (15min by subway). Instructions for reaching ENS Lyon can be found from the web page. The city of Lyon offers many cultural and tourist interest sites: http://www.en.lyon-france.com/things-to-do/p-1070/discover-lyon.php Practical informations ====================== Practical informations, in particular about accomodation, can be found from the web page ( http://www.ens-lyon.fr/DI/?p=898&lang=en ). Contact: Patrick Baillot (patrick.baillot'at'ens-lyon.fr)