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)>
15 kind (submission|notification|registration|camera-ready) #REQUIRED>
16 <!ELEMENT date (#PCDATA)>
21 <name>Calculemus 2002</name>
22 <url>http://www.ags.uni-sb.de/~calculemus2002/</url>
23 <description>10th Symposium on the Integration of Symbolic Computation and
24 Mechanized Reasoning</description>
25 <where>Marseille, France</where>
27 <begin>20020701</begin>
30 <deadline kind="submission">
31 <description>Papers due</description>
34 <deadline kind="notification">
35 <description>Notification of acceptance</description>
38 <deadline kind="camera-ready">
39 <description>Camera-ready papers due</description>
46 <url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
47 <description>First International Workshop on Mathematical Knowledge
48 Management. Special Issue for Annals of Mathematics and Artificial
49 Intelligence to appear in Fall 2002</description>
50 <where>RISC, A-4232 Schloss Hagenberg</where>
52 <begin>20010924</begin>
55 <deadline kind="notification">
56 <description>Notification of acceptance for the special issue on
57 Annals of Mathematics and Artificial Intelligence.</description>
60 <deadline kind="camera-ready">
61 <description>Final version of papers for the special issue.</description>
67 <name>International Congress of Mathematical Software 2002</name>
68 <url>http://www.mathsoftware.org</url>
69 <description>Satellite conference of ICM.</description>
70 <where>Beijing</where>
72 <begin>20020817</begin>
75 <deadline kind="submission">
76 <description>Papers due</description>
79 <deadline kind="notification">
80 <description>Notification of acceptance for papers</description>
83 <deadline kind="camera-ready">
84 <description>Camera-ready due</description>
90 <name>Find and Post Mathematics in the Web</name>
91 <url>http://icms.math.tsinghua.edu.cn</url>
92 <description>A workshop on Electronic Information and Communication in Mathematics. Satellite conference of ICM.</description>
93 <where>Beijing</where>
95 <begin>20020829</begin>
98 <deadline kind="submission">
99 <description>Abstracts due</description>
100 <date>20020331</date>
105 <name>MathML 2002</name>
106 <url>http://www.mathmlconference.org</url>
107 <where>Chicago</where>
109 <begin>20020628</begin>
112 <deadline kind="submission">
113 <description>Abstracts for papers and panel proposals due</description>
114 <date>20020218</date>
116 <deadline kind="notification">
117 <description>Notification of acceptance for papers and panels</description>
118 <date>20020311</date>
120 <deadline kind="submission">
121 <description>Poster abstracts and demo proposals due</description>
122 <date>20020315</date>
124 <deadline kind="notification">
125 <description>Notification of acceptance for posters and demos</description>
126 <date>20020329</date>
128 <deadline kind="registration">
129 <description>Last day for early registration</description>
130 <date>20020517</date>
132 <deadline kind="camera-ready">
133 <description>Deadline for full papers for JSC special issue</description>
134 <date>20020626</date>
139 <name>6th International Conference on Electronic Publishing (ELPUB 2002)</name>
140 <url>http://www.tu-chemnitz.de/elpub02/</url>
141 <where>Karlovy Vary, Czech Republic</where>
143 <begin>20021106</begin>
146 <deadline kind="submission">
147 <description>Abstracts due</description>
148 <date>20020215</date>
150 <deadline kind="submission">
151 <description>Full papers due</description>
152 <date>20020628</date>
157 <name>TPHOLS 2002</name>
158 <url>http://shemesh.larc.nasa.gov/tphols2002</url>
159 <where>Hampton (Virginia)</where>
161 <begin>20020820</begin>
164 <deadline kind="submission">
165 <description>Category A papers due</description>
166 <date>20020222</date>
168 <deadline kind="notification">
169 <description>Category A notification of acceptance</description>
170 <date>20020422</date>
172 <deadline kind="submission">
173 <description>Category B papers due</description>
174 <date>20020517</date>
176 <deadline kind="submission">
177 <description>Category A camera-ready copy due</description>
178 <date>20020524</date>
180 <deadline kind="notification">
181 <description>Category B notification of acceptance</description>
182 <date>20020617</date>
184 <deadline kind="camera-ready">
185 <description>Category B camera-ready copy due</description>
186 <date>20020705</date>
190 <name>WWW-2002: Semantic Web Workshop</name>
191 <url>http://semanticweb2002.aifb.uni-karlsruhe.de</url>
192 <description>Workshop associated to WWW2002</description>
193 <where>Hawaii</where>
195 <begin>20020507</begin>
198 <deadline kind="submission">
199 <description>Paper submission</description>
200 <date>20020301</date>
202 <deadline kind="notification">
203 <description>Notification of acceptance</description>
204 <date>20020401</date>
206 <deadline kind="camera-ready">
207 <description>Deadline for final contributions</description>
208 <date>20020415</date>
212 <name>Extreme 2002</name>
213 <url>http://www.extrememarkup.com</url>
214 <where>Montreal Canada</where>
216 <begin>20020806</begin>
219 <deadline kind="submission">
220 <description>Paper Submission</description>
221 <date>20020403</date>
223 <deadline kind="notification">
224 <description>Speakers Notified</description>
225 <date>20020513</date>
227 <deadline kind="camera-ready">
228 <description>Revised Papers Due</description>
229 <date>20020611</date>
233 <name>35 Years of Automath</name>
234 <url>http://www.cee.hw.ac.uk/~fairouz/automath2002/</url>
235 <where>Edinburgh</where>
237 <begin>20020410</begin>
240 <deadline kind="submission">
241 <description>Submission deadline of papers in special issue of an international journal.</description>
242 <date>20020510</date>
244 <deadline kind="submission">
245 <description>Submission deadline of special edited book celebrating de Bruijn's 85th anniversary.</description>
246 <date>20020710</date>
251 <name>Second International Conference on Mathematical Knowledge Management (MKM 2003)</name>
252 <url>http://www.cs.unibo.it/MKM03</url>
253 <where>Bertinoro (IT)</where>
255 <begin>20030216</begin>
258 <deadline kind="submission">
259 <description>Papers due</description>
260 <date>20020901</date>
262 <deadline kind="notification">
263 <description>Notification</description>
264 <date>20021101</date>
266 <deadline kind="camera-ready">
267 <description>Camera-ready due</description>
268 <date>20021122</date>