]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/other-events.xml
New data.
[helm.git] / helm / mowgli / home / xml / other-events.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE events [
4  <!ELEMENT events (event*)>
5  <!ELEMENT event (name,url,description?,where?,when,deadline*)>
6  <!ELEMENT name (#PCDATA)>
7  <!ELEMENT url (#PCDATA)>
8  <!ELEMENT description (#PCDATA)>
9  <!ELEMENT where (#PCDATA)>
10  <!ELEMENT when (begin,end)>
11  <!ELEMENT begin (#PCDATA)>
12  <!ELEMENT end (#PCDATA)>
13  <!ELEMENT deadline (description,date)>
14  <!ATTLIST deadline
15            kind (submission|notification|registration|camera-ready) #REQUIRED>
16  <!ELEMENT date (#PCDATA)>
17 ]>
18
19 <events>
20  <event>
21   <name>Internet Accessible Mathematical Computation</name>
22   <url>http://www.SymbolicNet.org/conferences/iamc02</url>
23   <description>a Workshop at ISSAC 2002</description>
24   <where>Lille, France</where>
25   <when>
26    <begin>20020707</begin>
27    <end>20020707</end>
28   </when>
29   <deadline kind="submission">
30    <description>Abstract due</description>
31    <date>20020512</date>
32   </deadline>
33   <deadline kind="notification">
34    <description>Notification of acceptance</description>
35    <date>20020527</date>
36   </deadline>
37   <deadline kind="submission">
38    <description>Description of the software required for demos due.</description>
39    <date>20020610</date>
40   </deadline>
41   <deadline kind="submission">
42    <description>Full papers due</description>
43    <date>20020627</date>
44   </deadline>
45  </event>
46
47  <event>
48   <name>Calculemus 2002</name>
49   <url>http://www.ags.uni-sb.de/~calculemus2002/</url>
50   <description>10th Symposium on the Integration of Symbolic Computation and
51    Mechanized Reasoning</description>
52   <where>Marseille, France</where>
53   <when>
54    <begin>20020701</begin>
55    <end>20020715</end>
56   </when>
57   <deadline kind="submission">
58    <description>Papers due</description>
59    <date>20020308</date>
60   </deadline>
61   <deadline kind="notification">
62    <description>Notification of acceptance</description>
63    <date>20020402</date>
64   </deadline>
65   <deadline kind="camera-ready">
66    <description>Camera-ready papers due</description>
67    <date>20020419</date>
68   </deadline>
69  </event>
70
71  <event>
72   <name>MKM 2001</name>
73   <url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
74   <description>First International Workshop on Mathematical Knowledge
75    Management. Special Issue for Annals of Mathematics and Artificial
76    Intelligence to appear in Fall 2002</description>
77   <where>RISC, A-4232 Schloss Hagenberg</where>
78   <when>
79    <begin>20010924</begin>
80    <end>20010926</end>
81   </when>
82   <deadline kind="notification">
83    <description>Notification of acceptance for the special issue on
84      Annals of Mathematics and Artificial Intelligence.</description>
85    <date>20020228</date>
86   </deadline>
87   <deadline kind="camera-ready">
88    <description>Final version of papers for the special issue.</description>
89    <date>20020531</date>
90   </deadline>
91  </event>
92
93  <event>
94   <name>International Congress of Mathematical Software 2002</name>
95   <url>http://www.mathsoftware.org</url>
96   <description>Satellite conference of ICM.</description>
97   <where>Beijing</where>
98   <when>
99    <begin>20020817</begin>
100    <end>20020819</end>
101   </when>
102   <deadline kind="submission">
103    <description>Papers due</description>
104    <date>20020215</date>
105   </deadline>
106   <deadline kind="notification">
107    <description>Notification of acceptance for papers</description>
108    <date>20020331</date>
109   </deadline>
110   <deadline kind="camera-ready">
111    <description>Camera-ready due</description>
112    <date>20020515</date>
113   </deadline>
114  </event>
115
116  <event>
117   <name>Find and Post Mathematics in the Web</name>
118   <url>http://icms.math.tsinghua.edu.cn</url>
119   <description>A workshop on Electronic Information and Communication in Mathematics. Satellite conference of ICM.</description>
120   <where>Beijing</where>
121   <when>
122    <begin>20020829</begin>
123    <end>20020831</end>
124   </when>
125   <deadline kind="submission">
126    <description>Abstracts due</description>
127    <date>20020331</date>
128   </deadline>
129  </event>
130
131  <event>
132   <name>MathML 2002</name>
133   <url>http://www.mathmlconference.org</url>
134   <where>Chicago</where>
135   <when>
136    <begin>20020628</begin>
137    <end>20020630</end>
138   </when>
139   <deadline kind="submission">
140    <description>Abstracts for papers and panel proposals due</description>
141    <date>20020218</date>
142   </deadline>
143   <deadline kind="notification">
144    <description>Notification of acceptance for papers and panels</description>
145    <date>20020311</date>
146   </deadline>
147   <deadline kind="submission">
148    <description>Poster abstracts and demo proposals due</description>
149    <date>20020315</date>
150   </deadline>
151   <deadline kind="notification">
152    <description>Notification of acceptance for posters and demos</description>
153    <date>20020329</date>
154   </deadline>
155   <deadline kind="registration">
156    <description>Last day for early registration</description>
157    <date>20020517</date>
158   </deadline>
159   <deadline kind="camera-ready">
160    <description>Deadline for full papers for JSC special issue</description>
161    <date>20020626</date>
162   </deadline>
163  </event>
164
165  <event>
166   <name>6th International Conference on Electronic Publishing (ELPUB 2002)</name>
167   <url>http://www.tu-chemnitz.de/elpub02/</url>
168   <where>Karlovy Vary, Czech Republic</where>
169   <when>
170    <begin>20021106</begin>
171    <end>20021109</end>
172   </when>
173   <deadline kind="submission">
174    <description>Abstracts due</description>
175    <date>20020215</date>
176   </deadline>
177   <deadline kind="submission">
178    <description>Full papers due</description>
179    <date>20020628</date>
180   </deadline>
181  </event>
182
183  <event>
184   <name>TPHOLS 2002</name>
185   <url>http://shemesh.larc.nasa.gov/tphols2002</url>
186   <where>Hampton (Virginia)</where>
187   <when>
188    <begin>20020820</begin>
189    <end>20020823</end>
190   </when>
191   <deadline kind="submission">
192    <description>Category A papers due</description>
193    <date>20020222</date>
194   </deadline>
195   <deadline kind="notification">
196    <description>Category A notification of acceptance</description>
197    <date>20020422</date>
198   </deadline>
199   <deadline kind="submission">
200    <description>Category B papers due</description>
201    <date>20020517</date>
202   </deadline>
203   <deadline kind="submission">
204    <description>Category A camera-ready copy due</description>
205    <date>20020524</date>
206   </deadline>
207   <deadline kind="notification">
208    <description>Category B notification of acceptance</description>
209    <date>20020617</date>
210   </deadline>
211   <deadline kind="camera-ready">
212    <description>Category B camera-ready copy due</description>
213    <date>20020705</date>
214   </deadline>
215  </event>
216  <event>
217   <name>WWW-2002: Semantic Web Workshop</name>
218   <url>http://semanticweb2002.aifb.uni-karlsruhe.de</url>
219   <description>Workshop associated to WWW2002</description>
220   <where>Hawaii</where>
221   <when>
222    <begin>20020507</begin>
223    <end>20020507</end>
224   </when>
225   <deadline kind="submission">
226    <description>Paper submission</description>
227    <date>20020301</date>
228   </deadline>
229   <deadline kind="notification">
230    <description>Notification of acceptance</description>
231    <date>20020401</date>
232   </deadline>
233   <deadline kind="camera-ready">
234    <description>Deadline for final contributions</description>
235    <date>20020415</date>
236   </deadline>
237  </event>
238  <event>
239   <name>Extreme 2002</name>
240   <url>http://www.extrememarkup.com</url>
241   <where>Montreal Canada</where>
242   <when>
243    <begin>20020806</begin>
244    <end>20020809</end>
245   </when>
246   <deadline kind="submission">
247    <description>Paper Submission</description>
248    <date>20020403</date>
249   </deadline>
250   <deadline kind="notification">
251    <description>Speakers Notified</description>
252    <date>20020513</date>
253   </deadline>
254   <deadline kind="camera-ready">
255    <description>Revised Papers Due</description>
256    <date>20020611</date>
257   </deadline>
258  </event>
259  <event>
260   <name>35 Years of Automath</name>
261   <url>http://www.cee.hw.ac.uk/~fairouz/automath2002/</url>
262   <where>Edinburgh</where>
263   <when>
264    <begin>20020410</begin>
265    <end>20020413</end>
266   </when>
267   <deadline kind="submission">
268    <description>Submission deadline of papers in special issue of an international journal.</description>
269    <date>20020510</date>
270   </deadline>
271   <deadline kind="submission">
272    <description>Submission deadline of special edited book celebrating de Bruijn's 85th anniversary.</description>
273    <date>20020710</date>
274   </deadline>
275  </event>
276
277  <event>
278   <name>Second International Conference on Mathematical Knowledge Management (MKM 2003)</name>
279   <url>http://www.cs.unibo.it/MKM03</url>
280   <where>Bertinoro (IT)</where>
281   <when>
282    <begin>20030216</begin>
283    <end>20030218</end>
284   </when>
285   <deadline kind="submission">
286    <description>Papers due</description>
287    <date>20020901</date>
288   </deadline>
289   <deadline kind="notification">
290    <description>Notification</description>
291    <date>20021101</date>
292   </deadline>
293   <deadline kind="camera-ready">
294    <description>Camera-ready due</description>
295    <date>20021122</date>
296   </deadline>
297  </event>
298 </events>