New data.

[helm.git] / helm / mowgli / home / xml / members / kick-off.xml

diff --git a/helm/mowgli/home/xml/members/kick-off.xml b/helm/mowgli/home/xml/members/kick-off.xml
index 45ca1cb8873d0fe6ad2dac19b89cc5b78704d6e8..e02a683cdd8062b8b21108454e3f087c874c2f97 100644 (file)
--- a/helm/mowgli/home/xml/members/kick-off.xml
+++ b/helm/mowgli/home/xml/members/kick-off.xml
@@ -53,7 +53,8 @@
   PCoq (an interface to the Coq system based on Aioli [for tree management],
   PPML [a sort of stylesheet language] and Figue [rendering engine]).
  </presentation>
- <presentation site="inria" author="herbelin" media="slides">
+ <presentation site="inria" author="herbelin"
+  media="slides" slides="kick-off/MoWGLI-LogiCal.ps">
   Presentation of the work of Rocquencourt: Coq (proof assistant) and its
   problems:
   <ul>
@@ -86,7 +87,8 @@
   in electronic form. His main contribution will be providing links to
   mathematicians.
  </presentation>
- <presentation site="aei" author="schutz" media="slides">
+ <presentation site="aei" author="schutz"
+  media="slides" slides="kick-off/AIP_Intro.ppt">
   Presentation of the work done at the Max Planck Institute for Gravitational
   Physics; presentation of Living Reviews in Relativity and expectations
   from MOWGLI (i.e. searching, rendering, interoperability). He points out