]> matita.cs.unibo.it Git - helm.git/commitdiff
New: Minutes of the kick-off
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Mar 2002 18:53:31 +0000 (18:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Mar 2002 18:53:31 +0000 (18:53 +0000)
helm/mowgli/home/html/Makefile
helm/mowgli/home/html/members/.cvsignore
helm/mowgli/home/xml/members-index.xml
helm/mowgli/home/xml/members/kick-off.xml [new file with mode: 0644]

index 9edc5d52bf3bdf7949938c5c464cf192fee3cb21..1cbbc9c56a1a22a51b84b43427b2fcbc62dcb478 100644 (file)
@@ -105,6 +105,7 @@ DOCUMENTS = \
             deliverables/transformation/d2g.html \
             members/index.html \
            members/ml-help-example.txt \
+            members/kick-off.html \
             mowgli-events/kick-off.html \
            software/index.html \
             sites/aei.html \
@@ -169,6 +170,11 @@ members/index.html: $(XMLROOT)/members-index.xml \
                    $(XHTMLCONTENT)
        sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
+members/kick-off.html: $(XMLROOT)/members/kick-off.xml \
+                    $(XSLROOT)/minutes.xsl \
+                   $(XHTMLCONTENT)
+       $(XSLTP) $(XSLROOT)/minutes.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
 software/index.html: $(XMLROOT)/software/index.xml \
                     $(XHTMLCONTENT)
        $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
index 26b9cba76a5b5431cc4ad42dc519043a94101dd1..90c0ce079c2cf9a9692329224f58b176806d7327 100644 (file)
@@ -1,2 +1,3 @@
 index.html
 ml-help-example.txt
+kick-off.html
index a4f3b9c9a837abdacca72e5169ce1fd23acdffcd..7f3363b920d14bf6bfdc4d5c48c6e39b32eebc3a 100644 (file)
@@ -17,6 +17,7 @@
   <ul>
     <li><a href="#ml">Mailing Lists</a></li>
     <li><a href="#proposal">The Proposal</a></li>
+    <li><a href="#minutes">Minutes of the Meetings</a></li>
   </ul>
   
   <hr/>
       <a href="../../misc/proposal/proposal.tgz">proposal sources</a> (in
       LaTeX) and the <a href="../../misc/proposal/MOWGLI.xls">Excel forms</a>
       are also available.</p>
+
+  <hr />
+
+  <h2><a name="minutes">Minutes of the Meetings</a></h2>
+
+  <p>Minutes are available for the following meetings:</p>
+  <ul>
+   <li><a href="kick-off.html">The MOWGLI Kick-Off</a></li>
+  </ul>
  </body>
 </html>
diff --git a/helm/mowgli/home/xml/members/kick-off.xml b/helm/mowgli/home/xml/members/kick-off.xml
new file mode 100644 (file)
index 0000000..1772f89
--- /dev/null
@@ -0,0 +1,86 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE minutes [
+ <!ELEMENT minutes (about,participant*,entry*)>
+ <!ELEMENT about (#PCDATA)>
+
+ <!ELEMENT entry (#PCDATA)>
+ <!ATTLIST entry
+           author CDATA #IMPLIED>
+
+ <!ELEMENT participant (#PCDATA)>
+ <!ATTLIST participant
+           file CDATA #IMPLIED>
+]>
+
+<minutes>
+ <about>the Kick-Off</about>
+ <participant file="bologna/asperti"/>
+ <participant file="bologna/sacerdoti"/>
+ <participant file="inria/herbelin"/>
+ <participant file="inria/rideau"/>
+ <participant file="inria/pottier"/>
+ <participant file="inria/werner"/>
+ <participant file="nijmegen/geuvers"/>
+ <participant file="nijmegen/wiedijk"/>
+ <participant file="dfki/moschner"/>
+ <participant file="trusted-logic/gimenez"/>
+ <participant file="aei/schutz"/>
+ <participant file="aei/wegner"/>
+ <participant file="aei/velden"/>
+ <participant file="aei/kelley"/>
+ <entry author="aei/wegner">
+  Whenever someone is going to make a talk, he must report this to him.
+ </entry>
+ <entry>
+  To reach an agreement on the consortium agreement, Trusted Logic will
+  send a completely filled-in, light version of the agreement to everybody.
+  If the agreement will not satisfy everybody up to minor modifications,
+  we will go for the heavy proposal.
+ </entry>
+ <entry author="nijmegen/geuvers">
+  The members of the PCC are responsible to communicate the name of the
+  site responsible for every WP.
+ </entry>
+ <entry>
+  There will be two mailing lists. The first one (for everybody) is
+  the one already created. The second one will be an administrative
+  mailing list.
+ </entry>
+ <entry>
+  All the meetings have already been scheduled: the first one will be held
+  in Nijmegen from the 17th to the 19th of July. The others will be
+  in Bertinoro (just after MKM03), Sophia (October 2003), Saarbrucken
+  and Paris.
+ </entry>
+ <entry author="trusted-logic/gimenez">
+  It will be simpler to have PCC meetings by phones.
+ </entry>
+ <entry author="aei/wegner">
+  During the plenary meetings, sub-meetings will be organized to discuss
+  technical details.
+ </entry>
+ <entry author="bologna/asperti">
+  Every Package Leader must submit a contribution to the deliverable 0.a.
+ </entry>
+ <entry author="aei/wegner">
+  It is better to use a task-force of external experts to comment on
+  deliverable 1.a.
+ </entry>
+ <entry author="aei/wegner">
+  The set of requirements must be ordered by importance (useful if some of
+  them are not fulfilled).
+ </entry>
+ <entry>
+  A long discussion on the topic of deliverable 1.c showed that there is
+  some mismatch in the vocabulary of the participants.
+ </entry>
+ <entry author="bologna/asperti">
+  The choice between MathML and OpenMath is quite difficult, because
+  there are really no strong pro and cons in favor or against any of them.
+ </entry>
+ <entry author="aei/schutz">
+  Maybe not having browsers supporting MathML is not a huge problem.
+ </entry>
+</minutes>