]> 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 61ec054689e323c4371ff61a8fb4e970bede40fe..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
      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>