Message-Id: <199512151421.PAA16355@pauillac.inria.fr>
Subject: Stages de DEA
To: bernard@laas.laas.fr, Daniel.LeMetayer@inria.fr
Date: Fri, 15 Dec 1995 15:21:31 +0100 (MET)
From: Didier.Remy@inria.fr (Didier Remy)
Chers Collegues,
Une quizaine d'e'tudiants suivent le DEA Semantique, Preuves et
Programmation de l'universite' de Paris 7. Nous leur pre'senterons les
stages possibles mi-janvier. Nous souhaitons leur proposer des stages de
DEA aussi varie's que possible. Si vous souhaitez proposer un stage,
envoyez-moi ou bien envoyez directement a` Guy Cousineau
(Guy.Cousineau@ens.fr) une proposition de stage. Si vous le souhaitez, je
peux vous faire parvenir une brochure de'taille'e du DEA.
Si vous pensez proposer un stage, mais que vous voulez prendre plus de temps
pour e'cr'ire votre proposition de stage, vous pouvez envoyer un message
pour nous le dire en pre'cisant le sujet du stage en quelques lignes, afin
que nous puissions donner de`s maintenant aux e'tudiants une ide'e des
diffe'rents stages possibles.
Amicalement,
Didier.