coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Fr�d�ric Gava <gava AT univ-paris12.fr>
- To: <propahn AT ml.free.fr>, <project AT caraml.org>, <coq-club AT pauillac.inria.fr>, <caml-list AT inria.fr>, <skeletons-request AT inf.ed.ac.uk>, <ARP AT cines.fr>
- Subject: [Coq-Club] Soutenance de thèse de Frédéric Gava
- Date: Mon, 5 Dec 2005 00:23:59 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
=======================================================
Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée
"Approches fonctionnelles de la programmation parallèle et des
méta-ordinateurs: sémantiques, implantations et certification"
La soutenance se tiendra le 12 Décembre 2005 à 14h00 à la salle des
thèses, bâtiment P2, Université Paris XII.
Les membres du jury sont:
Président
Thierry Priol (INRIA - IRISA)
Rapporteurs
Murray Cole (Univ. d'Edinburgh)
Walter Dosch (Univ. de Luebeck)
Examinateurs
Jocelyn Sérot (Univ. de Clermont-Ferrand)
Anatol Slissenko (Univ. Paris 12)
Directeur de thèse
Frédéric Loulergue (Univ. d'Orléans)
La soutenance sera suivie d'un pot dans la même salle.
Vous trouverez plus de détails sur
http://www.univ-paris12.fr/lacl/gava/these.htm
Bien cordialement,
Frédéric Gava
=======================================================
- [Coq-Club] Soutenance de thèse de Frédéric Gava, Frédéric Gava
Archive powered by MhonArc 2.6.16.