]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/other-events.xml
Several bug-fixes:
[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>6th European Conference on Research and Advanced Technology for
22    Digital Libraries (ECDL2002)</name>
23   <url>http://www.ecdl2002.org</url>
24   <where>Rome, Italy</where>
25   <when>
26    <begin>20020916</begin>
27    <end>20020918</end>
28   </when>
29   <deadline kind="submission">
30    <description>Deadline for ALL the proposals</description>
31    <date>20020501</date>
32   </deadline>
33   <deadline kind="notification">
34    <description>Notification of acceptance for tutorials and workshops</description>
35    <date>20020515</date>
36   </deadline>
37   <deadline kind="notification">
38    <description>Notification of acceptance for papers, panels and posters</description>
39    <date>20020615</date>
40   </deadline>
41   <deadline kind="submission">
42    <description>Camera ready papers due</description>
43    <date>20020701</date>
44   </deadline>
45  </event>
46  <event>
47   <name>Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03)</name>
48   <url>http://www.tcs.informatik.uni-muenchen.de/~mhofmann/tlca03cfp.html</url>
49   <where>Valencia, Spain</where>
50   <when>
51    <begin>????</begin>
52    <end>????</end>
53   </when>
54   <deadline kind="submission">
55    <description>Papers due</description>
56    <date>20021129</date>
57   </deadline>
58   <deadline kind="notification">
59    <description>Notification of acceptance</description>
60    <date>20030130</date>
61   </deadline>
62   <deadline kind="submission">
63    <description>Full papers due</description>
64    <date>20030315</date>
65   </deadline>
66  </event>
67
68  <event>
69   <name>Third International Workshop on Logical Frameworks and
70    Meta-Languages</name>
71   <url>http://www.cs.cmu.edu/~lfm02</url>
72   <description>A FLoC'02 affiliated workshop</description>
73   <where>Copenhagen, Denmark</where>
74   <when>
75    <begin>20020726</begin>
76    <end>20020726</end>
77   </when>
78   <deadline kind="submission">
79    <description>Papers due</description>
80    <date>20020415</date>
81   </deadline>
82   <deadline kind="notification">
83    <description>Notification of acceptance</description>
84    <date>20020513</date>
85   </deadline>
86   <deadline kind="submission">
87    <description>Full papers due</description>
88    <date>20020603</date>
89   </deadline>
90  </event>
91
92  <event>
93   <name>Internet Accessible Mathematical Computation</name>
94   <url>http://www.SymbolicNet.org/conferences/iamc02</url>
95   <description>a Workshop at ISSAC 2002</description>
96   <where>Lille, France</where>
97   <when>
98    <begin>20020707</begin>
99    <end>20020707</end>
100   </when>
101   <deadline kind="submission">
102    <description>Abstract due</description>
103    <date>20020512</date>
104   </deadline>
105   <deadline kind="notification">
106    <description>Notification of acceptance</description>
107    <date>20020527</date>
108   </deadline>
109   <deadline kind="submission">
110    <description>Description of the software required for demos due.</description>
111    <date>20020610</date>
112   </deadline>
113   <deadline kind="submission">
114    <description>Full papers due</description>
115    <date>20020627</date>
116   </deadline>
117  </event>
118
119  <event>
120   <name>Calculemus 2002</name>
121   <url>http://www.ags.uni-sb.de/~calculemus2002/</url>
122   <description>10th Symposium on the Integration of Symbolic Computation and
123    Mechanized Reasoning</description>
124   <where>Marseille, France</where>
125   <when>
126    <begin>20020701</begin>
127    <end>20020715</end>
128   </when>
129   <deadline kind="submission">
130    <description>Papers due</description>
131    <date>20020308</date>
132   </deadline>
133   <deadline kind="notification">
134    <description>Notification of acceptance</description>
135    <date>20020402</date>
136   </deadline>
137   <deadline kind="camera-ready">
138    <description>Camera-ready papers due</description>
139    <date>20020419</date>
140   </deadline>
141  </event>
142
143  <event>
144   <name>MKM 2001</name>
145   <url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
146   <description>First International Workshop on Mathematical Knowledge
147    Management. Special Issue for Annals of Mathematics and Artificial
148    Intelligence to appear in Fall 2002</description>
149   <where>RISC, A-4232 Schloss Hagenberg</where>
150   <when>
151    <begin>20010924</begin>
152    <end>20010926</end>
153   </when>
154   <deadline kind="notification">
155    <description>Notification of acceptance for the special issue on
156      Annals of Mathematics and Artificial Intelligence.</description>
157    <date>20020228</date>
158   </deadline>
159   <deadline kind="camera-ready">
160    <description>Final version of papers for the special issue.</description>
161    <date>20020531</date>
162   </deadline>
163  </event>
164
165  <event>
166   <name>International Congress of Mathematical Software 2002</name>
167   <url>http://www.mathsoftware.org</url>
168   <description>Satellite conference of ICM.</description>
169   <where>Beijing</where>
170   <when>
171    <begin>20020817</begin>
172    <end>20020819</end>
173   </when>
174   <deadline kind="submission">
175    <description>Papers due</description>
176    <date>20020215</date>
177   </deadline>
178   <deadline kind="notification">
179    <description>Notification of acceptance for papers</description>
180    <date>20020331</date>
181   </deadline>
182   <deadline kind="camera-ready">
183    <description>Camera-ready due</description>
184    <date>20020515</date>
185   </deadline>
186  </event>
187
188  <event>
189   <name>Find and Post Mathematics in the Web</name>
190   <url>http://icms.math.tsinghua.edu.cn</url>
191   <description>A workshop on Electronic Information and Communication in Mathematics. Satellite conference of ICM.</description>
192   <where>Beijing</where>
193   <when>
194    <begin>20020829</begin>
195    <end>20020831</end>
196   </when>
197   <deadline kind="submission">
198    <description>Abstracts due</description>
199    <date>20020331</date>
200   </deadline>
201  </event>
202
203  <event>
204   <name>MathML 2002</name>
205   <url>http://www.mathmlconference.org</url>
206   <where>Chicago</where>
207   <when>
208    <begin>20020628</begin>
209    <end>20020630</end>
210   </when>
211   <deadline kind="submission">
212    <description>Abstracts for papers and panel proposals due</description>
213    <date>20020218</date>
214   </deadline>
215   <deadline kind="notification">
216    <description>Notification of acceptance for papers and panels</description>
217    <date>20020311</date>
218   </deadline>
219   <deadline kind="submission">
220    <description>Poster abstracts and demo proposals due</description>
221    <date>20020315</date>
222   </deadline>
223   <deadline kind="notification">
224    <description>Notification of acceptance for posters and demos</description>
225    <date>20020329</date>
226   </deadline>
227   <deadline kind="registration">
228    <description>Last day for early registration</description>
229    <date>20020517</date>
230   </deadline>
231   <deadline kind="camera-ready">
232    <description>Deadline for full papers for JSC special issue</description>
233    <date>20020626</date>
234   </deadline>
235  </event>
236
237  <event>
238   <name>6th International Conference on Electronic Publishing (ELPUB 2002)</name>
239   <url>http://www.tu-chemnitz.de/elpub02/</url>
240   <where>Karlovy Vary, Czech Republic</where>
241   <when>
242    <begin>20021106</begin>
243    <end>20021109</end>
244   </when>
245   <deadline kind="submission">
246    <description>Abstracts due</description>
247    <date>20020215</date>
248   </deadline>
249   <deadline kind="submission">
250    <description>Full papers due</description>
251    <date>20020628</date>
252   </deadline>
253  </event>
254
255  <event>
256   <name>TPHOLS 2002</name>
257   <url>http://shemesh.larc.nasa.gov/tphols2002</url>
258   <where>Hampton (Virginia)</where>
259   <when>
260    <begin>20020820</begin>
261    <end>20020823</end>
262   </when>
263   <deadline kind="submission">
264    <description>Category A papers due</description>
265    <date>20020222</date>
266   </deadline>
267   <deadline kind="notification">
268    <description>Category A notification of acceptance</description>
269    <date>20020422</date>
270   </deadline>
271   <deadline kind="submission">
272    <description>Category B papers due</description>
273    <date>20020517</date>
274   </deadline>
275   <deadline kind="submission">
276    <description>Category A camera-ready copy due</description>
277    <date>20020524</date>
278   </deadline>
279   <deadline kind="notification">
280    <description>Category B notification of acceptance</description>
281    <date>20020617</date>
282   </deadline>
283   <deadline kind="camera-ready">
284    <description>Category B camera-ready copy due</description>
285    <date>20020705</date>
286   </deadline>
287  </event>
288  <event>
289   <name>WWW-2002: Semantic Web Workshop</name>
290   <url>http://semanticweb2002.aifb.uni-karlsruhe.de</url>
291   <description>Workshop associated to WWW2002</description>
292   <where>Hawaii</where>
293   <when>
294    <begin>20020507</begin>
295    <end>20020507</end>
296   </when>
297   <deadline kind="submission">
298    <description>Paper submission</description>
299    <date>20020301</date>
300   </deadline>
301   <deadline kind="notification">
302    <description>Notification of acceptance</description>
303    <date>20020401</date>
304   </deadline>
305   <deadline kind="camera-ready">
306    <description>Deadline for final contributions</description>
307    <date>20020415</date>
308   </deadline>
309  </event>
310  <event>
311   <name>Extreme 2002</name>
312   <url>http://www.extrememarkup.com</url>
313   <where>Montreal Canada</where>
314   <when>
315    <begin>20020806</begin>
316    <end>20020809</end>
317   </when>
318   <deadline kind="submission">
319    <description>Paper Submission</description>
320    <date>20020403</date>
321   </deadline>
322   <deadline kind="notification">
323    <description>Speakers Notified</description>
324    <date>20020513</date>
325   </deadline>
326   <deadline kind="camera-ready">
327    <description>Revised Papers Due</description>
328    <date>20020611</date>
329   </deadline>
330  </event>
331  <event>
332   <name>35 Years of Automath</name>
333   <url>http://www.cee.hw.ac.uk/~fairouz/automath2002/</url>
334   <where>Edinburgh</where>
335   <when>
336    <begin>20020410</begin>
337    <end>20020413</end>
338   </when>
339   <deadline kind="submission">
340    <description>Submission deadline of papers in special issue of an international journal.</description>
341    <date>20020510</date>
342   </deadline>
343   <deadline kind="submission">
344    <description>Submission deadline of special edited book celebrating de Bruijn's 85th anniversary.</description>
345    <date>20020710</date>
346   </deadline>
347  </event>
348
349  <event>
350   <name>Second International Conference on Mathematical Knowledge Management (MKM 2003)</name>
351   <url>http://www.cs.unibo.it/MKM03</url>
352   <where>Bertinoro (IT)</where>
353   <when>
354    <begin>20030216</begin>
355    <end>20030218</end>
356   </when>
357   <deadline kind="submission">
358    <description>Papers due</description>
359    <date>20020901</date>
360   </deadline>
361   <deadline kind="notification">
362    <description>Notification</description>
363    <date>20021101</date>
364   </deadline>
365   <deadline kind="camera-ready">
366    <description>Camera-ready due</description>
367    <date>20021122</date>
368   </deadline>
369  </event>
370 </events>