From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Mar 2002 14:59:39 +0000 (+0000)
Subject: * New data
X-Git-Tag: V_0_3_0_debian_8~201
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39eaf992d15e240fef162d926b0585b0799e2bda;p=helm.git

* New data
* New members
---

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 304c75d31..1455b47d9 100644
--- 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 00f73d705..0c7a9ceea 100644
--- 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 9e24e2cad..4734c70f8 100644
--- 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 d665a88ff..adc800cb4 100644
--- 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
index 000000000..746624ec3
--- /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 1df338629..7b0d92c7d 100644
--- 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