]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/inria/rideau.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / inria / rideau.xml
index 06c52ce86d2d3172d05dbad1517ff878d4772391..1e90e64d28684cfe76541661f12b5f987db1d1fc 100644 (file)
@@ -6,6 +6,8 @@
  <name>Laurence</name>
  <surname>Rideau</surname>
  <position>Researcher</position>
- <e-mail>Laurece.Rideau@sophia.inria.fr</e-mail>
+ <position>Member of the Project Coordination Committee
+  of the European IST project MOWGLI</position>
+ <e-mail>Laurence.Rideau@sophia.inria.fr</e-mail>
  <url>http://www-sop.inria.fr/lemme/Laurece.Rideau</url>
 </person>