From: Claudio Sacerdoti Coen Date: Tue, 19 Mar 2002 18:53:31 +0000 (+0000) Subject: New: Minutes of the kick-off X-Git-Tag: V_0_3_0_debian_8~206 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cfdc4db3c5b4d49a1d78c85e3aa7412a5c6cd807;p=helm.git New: Minutes of the kick-off --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 9edc5d52b..1cbbc9c56 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -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) $< diff --git a/helm/mowgli/home/html/members/.cvsignore b/helm/mowgli/home/html/members/.cvsignore index 26b9cba76..90c0ce079 100644 --- a/helm/mowgli/home/html/members/.cvsignore +++ b/helm/mowgli/home/html/members/.cvsignore @@ -1,2 +1,3 @@ index.html ml-help-example.txt +kick-off.html diff --git a/helm/mowgli/home/xml/members-index.xml b/helm/mowgli/home/xml/members-index.xml index a4f3b9c9a..7f3363b92 100644 --- a/helm/mowgli/home/xml/members-index.xml +++ b/helm/mowgli/home/xml/members-index.xml @@ -17,6 +17,7 @@
@@ -52,5 +53,14 @@ proposal sources (in LaTeX) and the Excel forms are also available.

+ +
+ +

Minutes of the Meetings

+ +

Minutes are available for the following meetings:

+ diff --git a/helm/mowgli/home/xml/members/kick-off.xml b/helm/mowgli/home/xml/members/kick-off.xml new file mode 100644 index 000000000..1772f8975 --- /dev/null +++ b/helm/mowgli/home/xml/members/kick-off.xml @@ -0,0 +1,86 @@ + + + + + + + + + + + +]> + + + the Kick-Off + + + + + + + + + + + + + + + + Whenever someone is going to make a talk, he must report this to him. + + + 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. + + + The members of the PCC are responsible to communicate the name of the + site responsible for every WP. + + + 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. + + + 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. + + + It will be simpler to have PCC meetings by phones. + + + During the plenary meetings, sub-meetings will be organized to discuss + technical details. + + + Every Package Leader must submit a contribution to the deliverable 0.a. + + + It is better to use a task-force of external experts to comment on + deliverable 1.a. + + + The set of requirements must be ordered by importance (useful if some of + them are not fulfilled). + + + A long discussion on the topic of deliverable 1.c showed that there is + some mismatch in the vocabulary of the participants. + + + 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. + + + Maybe not having browsers supporting MathML is not a huge problem. + +