New data (Calculemus)

diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml
index 82b1b59d7e28e91f2c9bc2e2eb9fa1aa33185022..19ec1d5dad45ac487e098b7ac2858df0bf6309aa 100644 (file)
--- a/helm/mowgli/home/xml/other-events.xml
+++ b/helm/mowgli/home/xml/other-events.xml
@@ -17,6 +17,30 @@
 ]>
 
 <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>