]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/sites/dfki.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / sites / dfki.xml
index ae082ab7b647bd5198f29fd46d3d339f2f2b4fe0..102915b5050a20872ff85330fc6141cd4537604c 100644 (file)
@@ -6,7 +6,11 @@
  <name>German Research Center for Artificial Intelligence, GmbH, DFKI</name>
  <country>Germany</country>
  <url>http://www.dfki.uni-sb.de</url>
- <address>???</address>
+ <address>
+  DFKI GmbH,
+  Stuhlsatzenhausweg 3,
+  D-66123 Saarbr&#x00fc;cken
+ </address>
  <responsible file="dfki/kohlhase"/>
  <description>
   <p>The German Research Center for Artificial Intelligence
@@ -16,7 +20,7 @@
      is focusing on the complete cycle of innovation - from world-class basic
      research and technology development through leading-edge demonstrators
      and prototypes to product functions and commercialization. Based in
-     Kaiserslautern and Saarbr{\"u}cken, the German Research Center for
+     Kaiserslautern and Saarbr&#x00fc;cken, the German Research Center for
      Artificial Intelligence ranks among the important ``Centers of
      Excellence'' worldwide. The key directors of DFKI are Prof. Dr. Wolfgang
      Wahlster (CEO) and Dr. Walter G. Olthoff (CFO).DFKI's mission is
      Members of the group are actively involved in the international academic
      life by organizing or contributing to conferences and workshops.</p>
  </description>
+ <member file="dfki/siekmann"/>
+ <member file="dfki/kohlhase"/>
+ <member file="dfki/melis"/>
+ <member file="dfki/moschner"/>
+ <member file="dfki/goguadze"/>
+ <member file="dfki/libbrecht"/>
 </site>