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>Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03)</name>
22 <url>http://www.tcs.informatik.uni-muenchen.de/~mhofmann/tlca03cfp.html</url>
23 <where>Valencia, Spain</where>
28 <deadline kind="submission">
29 <description>Papers due</description>
32 <deadline kind="notification">
33 <description>Notification of acceptance</description>
36 <deadline kind="submission">
37 <description>Full papers due</description>
43 <name>Third International Workshop on Logical Frameworks and
45 <url>http://www.cs.cmu.edu/~lfm02</url>
46 <description>A FLoC'02 affiliated workshop</description>
47 <where>Copenhagen, Denmark</where>
49 <begin>20020726</begin>
52 <deadline kind="submission">
53 <description>Papers due</description>
56 <deadline kind="notification">
57 <description>Notification of acceptance</description>
60 <deadline kind="submission">
61 <description>Full papers due</description>
67 <name>Internet Accessible Mathematical Computation</name>
68 <url>http://www.SymbolicNet.org/conferences/iamc02</url>
69 <description>a Workshop at ISSAC 2002</description>
70 <where>Lille, France</where>
72 <begin>20020707</begin>
75 <deadline kind="submission">
76 <description>Abstract due</description>
79 <deadline kind="notification">
80 <description>Notification of acceptance</description>
83 <deadline kind="submission">
84 <description>Description of the software required for demos due.</description>
87 <deadline kind="submission">
88 <description>Full papers due</description>
94 <name>Calculemus 2002</name>
95 <url>http://www.ags.uni-sb.de/~calculemus2002/</url>
96 <description>10th Symposium on the Integration of Symbolic Computation and
97 Mechanized Reasoning</description>
98 <where>Marseille, France</where>
100 <begin>20020701</begin>
103 <deadline kind="submission">
104 <description>Papers due</description>
105 <date>20020308</date>
107 <deadline kind="notification">
108 <description>Notification of acceptance</description>
109 <date>20020402</date>
111 <deadline kind="camera-ready">
112 <description>Camera-ready papers due</description>
113 <date>20020419</date>
118 <name>MKM 2001</name>
119 <url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
120 <description>First International Workshop on Mathematical Knowledge
121 Management. Special Issue for Annals of Mathematics and Artificial
122 Intelligence to appear in Fall 2002</description>
123 <where>RISC, A-4232 Schloss Hagenberg</where>
125 <begin>20010924</begin>
128 <deadline kind="notification">
129 <description>Notification of acceptance for the special issue on
130 Annals of Mathematics and Artificial Intelligence.</description>
131 <date>20020228</date>
133 <deadline kind="camera-ready">
134 <description>Final version of papers for the special issue.</description>
135 <date>20020531</date>
140 <name>International Congress of Mathematical Software 2002</name>
141 <url>http://www.mathsoftware.org</url>
142 <description>Satellite conference of ICM.</description>
143 <where>Beijing</where>
145 <begin>20020817</begin>
148 <deadline kind="submission">
149 <description>Papers due</description>
150 <date>20020215</date>
152 <deadline kind="notification">
153 <description>Notification of acceptance for papers</description>
154 <date>20020331</date>
156 <deadline kind="camera-ready">
157 <description>Camera-ready due</description>
158 <date>20020515</date>
163 <name>Find and Post Mathematics in the Web</name>
164 <url>http://icms.math.tsinghua.edu.cn</url>
165 <description>A workshop on Electronic Information and Communication in Mathematics. Satellite conference of ICM.</description>
166 <where>Beijing</where>
168 <begin>20020829</begin>
171 <deadline kind="submission">
172 <description>Abstracts due</description>
173 <date>20020331</date>
178 <name>MathML 2002</name>
179 <url>http://www.mathmlconference.org</url>
180 <where>Chicago</where>
182 <begin>20020628</begin>
185 <deadline kind="submission">
186 <description>Abstracts for papers and panel proposals due</description>
187 <date>20020218</date>
189 <deadline kind="notification">
190 <description>Notification of acceptance for papers and panels</description>
191 <date>20020311</date>
193 <deadline kind="submission">
194 <description>Poster abstracts and demo proposals due</description>
195 <date>20020315</date>
197 <deadline kind="notification">
198 <description>Notification of acceptance for posters and demos</description>
199 <date>20020329</date>
201 <deadline kind="registration">
202 <description>Last day for early registration</description>
203 <date>20020517</date>
205 <deadline kind="camera-ready">
206 <description>Deadline for full papers for JSC special issue</description>
207 <date>20020626</date>
212 <name>6th International Conference on Electronic Publishing (ELPUB 2002)</name>
213 <url>http://www.tu-chemnitz.de/elpub02/</url>
214 <where>Karlovy Vary, Czech Republic</where>
216 <begin>20021106</begin>
219 <deadline kind="submission">
220 <description>Abstracts due</description>
221 <date>20020215</date>
223 <deadline kind="submission">
224 <description>Full papers due</description>
225 <date>20020628</date>
230 <name>TPHOLS 2002</name>
231 <url>http://shemesh.larc.nasa.gov/tphols2002</url>
232 <where>Hampton (Virginia)</where>
234 <begin>20020820</begin>
237 <deadline kind="submission">
238 <description>Category A papers due</description>
239 <date>20020222</date>
241 <deadline kind="notification">
242 <description>Category A notification of acceptance</description>
243 <date>20020422</date>
245 <deadline kind="submission">
246 <description>Category B papers due</description>
247 <date>20020517</date>
249 <deadline kind="submission">
250 <description>Category A camera-ready copy due</description>
251 <date>20020524</date>
253 <deadline kind="notification">
254 <description>Category B notification of acceptance</description>
255 <date>20020617</date>
257 <deadline kind="camera-ready">
258 <description>Category B camera-ready copy due</description>
259 <date>20020705</date>
263 <name>WWW-2002: Semantic Web Workshop</name>
264 <url>http://semanticweb2002.aifb.uni-karlsruhe.de</url>
265 <description>Workshop associated to WWW2002</description>
266 <where>Hawaii</where>
268 <begin>20020507</begin>
271 <deadline kind="submission">
272 <description>Paper submission</description>
273 <date>20020301</date>
275 <deadline kind="notification">
276 <description>Notification of acceptance</description>
277 <date>20020401</date>
279 <deadline kind="camera-ready">
280 <description>Deadline for final contributions</description>
281 <date>20020415</date>
285 <name>Extreme 2002</name>
286 <url>http://www.extrememarkup.com</url>
287 <where>Montreal Canada</where>
289 <begin>20020806</begin>
292 <deadline kind="submission">
293 <description>Paper Submission</description>
294 <date>20020403</date>
296 <deadline kind="notification">
297 <description>Speakers Notified</description>
298 <date>20020513</date>
300 <deadline kind="camera-ready">
301 <description>Revised Papers Due</description>
302 <date>20020611</date>
306 <name>35 Years of Automath</name>
307 <url>http://www.cee.hw.ac.uk/~fairouz/automath2002/</url>
308 <where>Edinburgh</where>
310 <begin>20020410</begin>
313 <deadline kind="submission">
314 <description>Submission deadline of papers in special issue of an international journal.</description>
315 <date>20020510</date>
317 <deadline kind="submission">
318 <description>Submission deadline of special edited book celebrating de Bruijn's 85th anniversary.</description>
319 <date>20020710</date>
324 <name>Second International Conference on Mathematical Knowledge Management (MKM 2003)</name>
325 <url>http://www.cs.unibo.it/MKM03</url>
326 <where>Bertinoro (IT)</where>
328 <begin>20030216</begin>
331 <deadline kind="submission">
332 <description>Papers due</description>
333 <date>20020901</date>
335 <deadline kind="notification">
336 <description>Notification</description>
337 <date>20021101</date>
339 <deadline kind="camera-ready">
340 <description>Camera-ready due</description>
341 <date>20021122</date>