[Prev][Next][Index][Thread]
Mini-school on theoretical computer science
-
To: types@cis.upenn.edu
-
Subject: Mini-school on theoretical computer science
-
From: =?ISO-8859-1?Q?Ren=E9?= David <david@univ-savoie.fr>
-
Date: Tue, 29 Oct 2002 08:39:59 +0100
-
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr-FR; rv:0.9.4.1) Gecko/20020314 Netscape6/6.2.2
The Logic group of the University of Chambery (UMR 5127 of CNRS) and
the group Semantic of computation of the University of Torino organize
in Aussois (France 73) from January 29 to February 1 2003 a
(mini)-school of theoritical computer science.
This school is open to every PhD student or researcher.
3 courses will be given :
- A course on mobility by Daniel Hirschkoff (Ens Lyon).
- A course on object langages by Viviana Bono (Birmingham).
- A course on linear logic : the mathematical part by Laurent Régnier
(Marseille) and the part dedicated to applications by Luca Roversi
(Torino).
Practical organisation and application form :
www.lama.univ-savoie.fr/~david/aussois
Application is required before november 30 2002