]> 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 d5ec29ab0a14ed93fc71785941413bf1c393e40f..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
@@ -63,5 +67,6 @@
  <member file="dfki/kohlhase"/>
  <member file="dfki/melis"/>
  <member file="dfki/moschner"/>
+ <member file="dfki/goguadze"/>
  <member file="dfki/libbrecht"/>
 </site>