From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id SAA22618 for caml-redistribution; Fri, 15 Dec 1995 18:34:17 +0100
Received: (from remy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id PAA16355; Fri, 15 Dec 1995 15:21:32 +0100
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)
Cc: weis@pauillac.inria.fr (Pierre Weis), maranget@pauillac.inria.fr
From: Didier.Remy@inria.fr (Didier Remy)
Reply-to: Didier.Remy@inria.fr
Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex
Phone: (33) 1 3963 5317 -- Sec: (33) 1 3963 5684 -- Fax: (33) 1 3963 5330
Web: http://pauillac.inria.fr/~remy
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis


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.