]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/members/kick-off.xml
New: Minutes of the kick-off
[helm.git] / helm / mowgli / home / xml / members / kick-off.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE minutes [
4  <!ELEMENT minutes (about,participant*,entry*)>
5  
6  <!ELEMENT about (#PCDATA)>
7
8  <!ELEMENT entry (#PCDATA)>
9  <!ATTLIST entry
10            author CDATA #IMPLIED>
11
12  <!ELEMENT participant (#PCDATA)>
13  <!ATTLIST participant
14            file CDATA #IMPLIED>
15 ]>
16
17 <minutes>
18  <about>the Kick-Off</about>
19  <participant file="bologna/asperti"/>
20  <participant file="bologna/sacerdoti"/>
21  <participant file="inria/herbelin"/>
22  <participant file="inria/rideau"/>
23  <participant file="inria/pottier"/>
24  <participant file="inria/werner"/>
25  <participant file="nijmegen/geuvers"/>
26  <participant file="nijmegen/wiedijk"/>
27  <participant file="dfki/moschner"/>
28  <participant file="trusted-logic/gimenez"/>
29  <participant file="aei/schutz"/>
30  <participant file="aei/wegner"/>
31  <participant file="aei/velden"/>
32  <participant file="aei/kelley"/>
33  <entry author="aei/wegner">
34   Whenever someone is going to make a talk, he must report this to him.
35  </entry>
36  <entry>
37   To reach an agreement on the consortium agreement, Trusted Logic will
38   send a completely filled-in, light version of the agreement to everybody.
39   If the agreement will not satisfy everybody up to minor modifications,
40   we will go for the heavy proposal.
41  </entry>
42  <entry author="nijmegen/geuvers">
43   The members of the PCC are responsible to communicate the name of the
44   site responsible for every WP.
45  </entry>
46  <entry>
47   There will be two mailing lists. The first one (for everybody) is
48   the one already created. The second one will be an administrative
49   mailing list.
50  </entry>
51  <entry>
52   All the meetings have already been scheduled: the first one will be held
53   in Nijmegen from the 17th to the 19th of July. The others will be
54   in Bertinoro (just after MKM03), Sophia (October 2003), Saarbrucken
55   and Paris.
56  </entry>
57  <entry author="trusted-logic/gimenez">
58   It will be simpler to have PCC meetings by phones.
59  </entry>
60  <entry author="aei/wegner">
61   During the plenary meetings, sub-meetings will be organized to discuss
62   technical details.
63  </entry>
64  <entry author="bologna/asperti">
65   Every Package Leader must submit a contribution to the deliverable 0.a.
66  </entry>
67  <entry author="aei/wegner">
68   It is better to use a task-force of external experts to comment on
69   deliverable 1.a.
70  </entry>
71  <entry author="aei/wegner">
72   The set of requirements must be ordered by importance (useful if some of
73   them are not fulfilled).
74  </entry>
75  <entry>
76   A long discussion on the topic of deliverable 1.c showed that there is
77   some mismatch in the vocabulary of the participants.
78  </entry>
79  <entry author="bologna/asperti">
80   The choice between MathML and OpenMath is quite difficult, because
81   there are really no strong pro and cons in favor or against any of them.
82  </entry>
83  <entry author="aei/schutz">
84   Maybe not having browsers supporting MathML is not a huge problem.
85  </entry>
86 </minutes>