Mini-school on theoretical computer science
Subject: Mini-school on theoretical computer science
From: =?ISO-8859-1?Q?Ren=E9?= David <firstname.lastname@example.org>
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
Practical organisation and application form :
Application is required before november 30 2002