[TYPES/announce] CfP: Winter school on game semantics and linear logic, in Lyon

Patrick Baillot patrick.baillot at ens-lyon.fr
Sun Nov 1 14:22:52 EST 2009


-----------------------------------------------------------------

      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)




More information about the Types-announce mailing list