[Fwd: Visite de Serge Leblanc au LRI mercedi 19 novembre]

Veronique Benzaken Veronique.Benzaken at lri.fr
Thu Nov 13 18:55:44 CET 2003


Bonsoir,

A priori, soit moi soit Beppe serons la. Tous ceux interesses sont les
bienvenus, n'est ce pas Pierre ?
--Vero
PS: Pierre pour info devel at cduce c'est 7 personnes on ne remplira pas la
salle 101, pas d'inquietude.


-----Forwarded Message-----
> From: Pierre Letouzey <Pierre.Letouzey at lri.fr>
> To: GTcoq at pauillac.inria.fr
> Cc: burelle at lri.fr, benzaken at lri.fr, Serge Leblanc <serge.leblanc at wanadoo.fr>
> Subject: Visite de Serge Leblanc au LRI mercedi 19 novembre
> Date: Thu, 13 Nov 2003 17:57:54 +0100
> 
> 
> Serge Leblanc sera au LRI le mercredi 19 novembre après-midi.
> 
> Serge, qui travaille actuellement en milieu industriel, se propose
> actuellement d'explorer les interactions possibles entre Coq et CDuce.
> Pour mémoire, CDuce est un langage fonctionnel adapté à la manipulation
> de flux XML, développé conjointement à l'ENS Paris et au LRI. On peut
> alors imaginer certifier des programmes CDuce en Coq, ou extraire des
> développements Coq vers CDuce.
> 
> A l'occasion de cette visite, Christine Paulin et moi proposons un petit
> groupe de travail informel autour de ce thème, à 14h en salle 101.
> Evidemment toutes les personnes intéressées par cette thématique sont les
> bienvenues, aussi bien du côté Coq que du côté CDuce.
> 
> Pierre Letouzey
> 
> PS: Marwan, pourrais-tu diffuser cette annonce du côté CDuce ?
-- 
--
        Prof. Veronique Benzaken
        Universite de Paris XI
          L.R.I (UMR 8623, C.N.R.S)
        Bat 490     www.lri.fr/~benzaken
  tel : +33(0)1 6915 6628 (LRI)
  fax : +33(0)1 6915 6586 (fax LRI)

--




More information about the Cduce-devel mailing list