* New data

* New members

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 304c75d31af017463bf9553dff60cf6b6a8390c2..1455b47d930ed1ad933d4d803cf26de5c6fbe3bc 100644 (file)
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -45,6 +45,7 @@ PEOPLE = \
                people/inria/pottier.html \
                people/inria/rideau.html \
                people/inria/thery.html \
+               people/inria/werner.html \
                people/nijmegen/barendregt.html \
                people/nijmegen/barreiro.html \
                people/nijmegen/cohen.html \
@@ -54,7 +55,8 @@ PEOPLE = \
                people/nijmegen/stein.html \
                people/nijmegen/synek.html \
                people/nijmegen/wiedijk.html \
-               people/trusted-logic/bolignano.html
+               people/trusted-logic/bolignano.html \
+               people/trusted-logic/gimenez.html
 
 DOCUMENTS = \
             index.html \

diff --git a/helm/mowgli/home/html/people/inria/.cvsignore b/helm/mowgli/home/html/people/inria/.cvsignore
index 00f73d70503c795d2cc88ff81314d1458372cb68..0c7a9ceea9120c7ee8cd7f2ccf036e4e111c3c64 100644 (file)
--- a/helm/mowgli/home/html/people/inria/.cvsignore
+++ b/helm/mowgli/home/html/people/inria/.cvsignore
@@ -7,3 +7,4 @@ naciri.html
 pottier.html 
 rideau.html 
 thery.html 
+werner.html

diff --git a/helm/mowgli/home/html/people/trusted-logic/.cvsignore b/helm/mowgli/home/html/people/trusted-logic/.cvsignore
index 9e24e2cadf285bef2a39dafcfacd7eb7c3a3cb94..4734c70f8aca6df617ee9144430b56918acef5e0 100644 (file)
--- a/helm/mowgli/home/html/people/trusted-logic/.cvsignore
+++ b/helm/mowgli/home/html/people/trusted-logic/.cvsignore
@@ -1 +1,2 @@
 bolignano.html 
+gimenez.html

diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml
index d665a88ff3fd7e4382e51d656457b54a4791a483..adc800cb46894b776bfe55fa96f7a40ce7c4efa9 100644 (file)
--- a/helm/mowgli/home/xml/people/index.xml
+++ b/helm/mowgli/home/xml/people/index.xml
@@ -28,6 +28,7 @@
   <person file="pottier"/>
   <person file="rideau"/>
   <person file="thery"/>
+  <person file="werner"/>
  </from>
  <from site="dfki">
   <person file="siekmann"/>
@@ -58,5 +59,6 @@
  </from>
  <from site="trusted-logic">
   <person file="bolignano"/>
+  <person file="gimenez"/>
  </from>
 </people>

diff --git a/helm/mowgli/home/xml/people/inria/werner.xml b/helm/mowgli/home/xml/people/inria/werner.xml
new file mode 100644 (file)
index 0000000..746624e
--- /dev/null
+++ b/helm/mowgli/home/xml/people/inria/werner.xml
@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Benjamin</name>
+ <surname>Werner</surname>
+ <qualification>Dr.</qualification>
+ <position>Permanent researcher at INRIA.</position>
+ <position>Teaching a graduate course at Université Paris 7 and
+  undergraduate course at ENSTA.</position>
+ <e-mail>Benjamin.Werner@inria.fr</e-mail>
+ <url>http://logical.inria.fr/~werner/</url>
+ <curriculum>
+  <p>Benjamin Werner was born in 1966. He graduated from Ecole Polytechnique
+     in 1989 and was awarded a PhD in computer science form université
+     Paris 7 in 1994. He is since a researcher at INRIA-Rocquencourt,
+     working on logical formalisms, type theory and the proof system Coq.</p>
+ </curriculum>
+</person>

diff --git a/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml b/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml
index 1df33862905906db1321de3f3e2957e9269b91f7..7b0d92c7d6e348541bdb0cfe679bd9c5857f5cf2 100644 (file)
--- a/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml
+++ b/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml
@@ -7,7 +7,8 @@
  <surname>Bolignano</surname>
  <position>Chairman and Chief Executive Officer of Trusted Logic</position>
  <position>Part-time Full Professor at the Université Paris-Dauphine</position>
- <e-mail>Dominique.Bolignano@trusted-logic.fr</e-mail>
+ <!-- <e-mail>Dominique.Bolignano@trusted-logic.fr</e-mail> -->
+ <e-mail>mowgli@trusted-logic.fr</e-mail>
  <curriculum>
   <p>Dominique Bolignano is Chairman and Chief Executive Officer of
      Trusted Logic. He also teaches security and languages as a part-time