From 01f1146f773b33ed3691e38d10c07a87bf4e3555 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 5 Mar 2002 10:09:20 +0000
Subject: [PATCH] New data (Calculemus)

---
 helm/mowgli/home/xml/other-events.xml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml
index 82b1b59d7..19ec1d5da 100644
--- 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>
-- 
2.39.2