Modified Files:

[helm.git] / helm / mowgli / home / xml / other-events.xml

diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml
index 82b1b59d7e28e91f2c9bc2e2eb9fa1aa33185022..ae75e9f90ea2278f9d3f211b815c3306d791d0ba 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>
@@ -125,7 +149,7 @@
   </deadline>
   <deadline kind="submission">
    <description>Full papers due</description>
-   <date>20020228</date>
+   <date>20020628</date>
   </deadline>
  </event>