]> matita.cs.unibo.it Git - helm.git/commitdiff
Missing informations filled in.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Feb 2002 18:37:34 +0000 (18:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Feb 2002 18:37:34 +0000 (18:37 +0000)
helm/mowgli/home/xml/people/aei/kelley.xml
helm/mowgli/home/xml/people/aei/wegner.xml
helm/mowgli/home/xml/people/nijmegen/barendregt.xml
helm/mowgli/home/xml/people/nijmegen/barreiro.xml
helm/mowgli/home/xml/people/nijmegen/cohen.xml
helm/mowgli/home/xml/people/nijmegen/cruz-filipe.xml
helm/mowgli/home/xml/people/nijmegen/niqui.xml
helm/mowgli/home/xml/people/nijmegen/stein.xml
helm/mowgli/home/xml/people/nijmegen/synek.xml
helm/mowgli/home/xml/people/nijmegen/wiedijk.xml
helm/mowgli/home/xml/sites/inria.xml

index d371e8825500a1e99f9e085b882989de1643ccd1..7312782d0849e7a265f21fd7a4fa425545b30b69 100644 (file)
@@ -6,5 +6,5 @@
  <name>Ian</name>
  <surname>Kelley</surname>
  <position>Programmer</position>
- <e-mail>???</e-mail>
+ <e-mail>ikelley@aei-potsdam.mpg.de</e-mail>
 </person>
index 450380aa5dd4457099a50d736a9bf6bdcc89e28f..7810ee3888d7645a38e6795f002199a88e16dd10 100644 (file)
@@ -36,8 +36,8 @@
   mathematics</position>
  <position>member of the board of IWI (Institute for Scientific Information in
   Osnabrueck)</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>wegner@math.TU-Berlin.DE</e-mail>
+ <url>http://www.zblmath.fiz-karlsruhe.de/people/wegner.html</url>
  <curriculum>
   <p>He has participated with one or more talks at about 20 events on electronic
      information and communication in 2000, including continental congresses in
index 3394627389b0315de9d608f48060fe38267a1d58..e509f745b6c53db680f7187b43033da11ad0754d 100644 (file)
@@ -7,6 +7,6 @@
  <surname>Barendregt</surname>
  <qualification>Prof.</qualification>
  <position>Full Professor, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>henk@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~henk</url>
 </person>
index bea79cb956229595afe293eb5238309097a2e0be..ab70ec62d6144e184d556223ef6722e543c498f0 100644 (file)
@@ -6,6 +6,5 @@
  <name>Ernesto Reinaldo</name>
  <surname>Barreiro</surname>
  <position>Ph.D. Student, Eindhoven</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>ereinald@win.tue.nl</e-mail>
 </person>
index 447c6b4285a147c643f49e08d857752dbb5132a0..5dde5b1441841276bdab32c2b657b3ec6c1c0f03 100644 (file)
@@ -7,6 +7,6 @@
  <surname>Cohen</surname>
  <qualification>Prof.</qualification>
  <position>Full Professor, Eindhoven</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>A.M.Cohen@tue.nl</e-mail>
+ <url>http://www.win.tue.nl/~amc</url>
 </person>
index febda7158a75d57fd181645cfc1ab03695e701c0..7398ea2d7649d79d525665bf96d3cf8ad19cd5eb 100644 (file)
@@ -6,6 +6,6 @@
  <name>Luiz</name>
  <surname>Crus-Filipe</surname>
  <position>Ph.D. Student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>lcf@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~lcf</url>
 </person>
index 723dbf3bd0816b59c8329e63990fae6c91a5f7d6..a56eaab4417def31dd3ffd7954bfe800b5c35a23 100644 (file)
@@ -6,6 +6,6 @@
  <name>Milan</name>
  <surname>Niqui</surname>
  <position>Ph.D. student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>milad@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~milad</url>
 </person>
index cff0c62e5adf25d8ebceba95acf28d3d7b80fd9e..d3d1552abf8bc18acc7dc6aef20cf82d836af33b 100644 (file)
@@ -6,6 +6,6 @@
  <name>Jasper</name>
  <surname>Stein</surname>
  <position>Ph.D. Student, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>jasper@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~jasper</url>
 </person>
index 4861a69914dd3eeea6a548f0f576f3b9bc8210bc..a23063708966a321be8b60c821dd873693d0f833 100644 (file)
@@ -6,6 +6,6 @@
  <name>Dan</name>
  <surname>Synek</surname>
  <position>Programmer, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>synek@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~synek</url>
 </person>
index 7aec7ad04b01cba2fe92978d2d1898bc0bdd8307..11ea7ecdff40c070784402c041f0c004fcc816a3 100644 (file)
@@ -7,6 +7,6 @@
  <surname>Widijk</surname>
  <qualification>Dr.</qualification>
  <position>Post Doc Researcher, Nijmegen</position>
- <e-mail>???</e-mail>
- <url>???</url>
+ <e-mail>freek@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~freek</url>
 </person>
index 28659d4f9af81d59426db4dc71082b55fb552286..ac3f5c23e4114963bfaa030b29e362df2e3eaecd 100644 (file)
@@ -62,7 +62,7 @@
  </description>
  <project>
   <name>Lemme</name>
-  <url>???</url>
+  <url>http://www-sop.inria.fr/lemme</url>
   <member file="inria/rideau"/>
   <member file="inria/naciri"/>
   <member file="inria/pottier"/>