<!DOCTYPE events [
<!ELEMENT events (event*)>
- <!ELEMENT event (name,url,description?,where?,when?,deadline*)>
+ <!ELEMENT event (name,url,description?,where?,when,deadline*)>
<!ELEMENT name (#PCDATA)>
<!ELEMENT url (#PCDATA)>
<!ELEMENT description (#PCDATA)>
]>
<events>
+ <event>
+ <name>Calculemus 2002</name>
+ <url>http://www.ags.uni-sb.de/~calculemus2002/</url>
+ <description>10th Symposium on the Integration of Symbolic Computation and
+ Mechanized Reasoning</description>
+ <where>Marseille, France</where>
+ <when>
+ <begin>20020701</begin>
+ <end>20020715</end>
+ </when>
+ <deadline kind="submission">
+ <description>Papers due</description>
+ <date>20020308</date>
+ </deadline>
+ <deadline kind="notification">
+ <description>Notification of acceptance</description>
+ <date>20020402</date>
+ </deadline>
+ <deadline kind="camera-ready">
+ <description>Camera-ready papers due</description>
+ <date>20020419</date>
+ </deadline>
+ </event>
+
<event>
<name>MKM 2001</name>
<url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
- <description>Special Issue for Annals of Mathematics and Artificial
+ <description>First International Workshop on Mathematical Knowledge
+ Management. Special Issue for Annals of Mathematics and Artificial
Intelligence to appear in Fall 2002</description>
+ <where>RISC, A-4232 Schloss Hagenberg</where>
+ <when>
+ <begin>20010924</begin>
+ <end>20010926</end>
+ </when>
<deadline kind="notification">
<description>Notification of acceptance for the special issue on
Annals of Mathematics and Artificial Intelligence.</description>
<event>
<name>International Congress of Mathematical Software 2002</name>
<url>http://www.mathsoftware.org</url>
- <description>Satellite conference of ICM</description>
+ <description>Satellite conference of ICM.</description>
<where>Beijing</where>
<when>
<begin>20020817</begin>
<end>20020819</end>
</when>
+ <deadline kind="submission">
+ <description>Papers due</description>
+ <date>20020215</date>
+ </deadline>
+ <deadline kind="notification">
+ <description>Notification of acceptance for papers</description>
+ <date>20020331</date>
+ </deadline>
+ <deadline kind="camera-ready">
+ <description>Camera-ready due</description>
+ <date>20020515</date>
+ </deadline>
+ </event>
+
+ <event>
+ <name>Find and Post Mathematics in the Web</name>
+ <url>http://icms.math.tsinghua.edu.cn</url>
+ <description>A workshop on Electronic Information and Communication in Mathematics. Satellite conference of ICM.</description>
+ <where>Beijing</where>
+ <when>
+ <begin>20020829</begin>
+ <end>20020831</end>
+ </when>
+ <deadline kind="submission">
+ <description>Abstracts due</description>
+ <date>20020331</date>
+ </deadline>
</event>
<event>
</deadline>
<deadline kind="submission">
<description>Full papers due</description>
- <date>20020228</date>
+ <date>20020628</date>
</deadline>
</event>
<event>
<name>WWW-2002: Semantic Web Workshop</name>
<url>http://semanticweb2002.aifb.uni-karlsruhe.de</url>
- <description>Workshop associato a WWW2002</description>
+ <description>Workshop associated to WWW2002</description>
<where>Hawaii</where>
<when>
<begin>20020507</begin>