X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fother-events.xml;h=94632cd061cd425aed2fc63bf1a87692283540ff;hb=9b149437fe0a9ed59e66cd87590ce6f1aed1ac64;hp=bb08528709ad2cb862a211bcb271f16c6017e31c;hpb=76a430af65b9569655f00a19f6ba8485c5c9c11d;p=helm.git

diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml
index bb0852870..94632cd06 100644
--- a/helm/mowgli/home/xml/other-events.xml
+++ b/helm/mowgli/home/xml/other-events.xml
@@ -2,7 +2,7 @@
 
 <!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)>
@@ -20,8 +20,14 @@
  <event>
   <name>MKM 2001</name>
   <url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
-  <description>Special Issue for Annalas 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>
@@ -161,7 +167,7 @@
   </when>
   <deadline kind="submission">
    <description>Paper Submission</description>
-   <date>20020303</date>
+   <date>20020403</date>
   </deadline>
   <deadline kind="notification">
    <description>Speakers Notified</description>
@@ -189,4 +195,26 @@
    <date>20020710</date>
   </deadline>
  </event>
+
+ <event>
+  <name>Second International Conference on Mathematical Knowledge Management (MKM 2003)</name>
+  <url>http://www.cs.unibo.it/MKM03</url>
+  <where>Bertinoro (IT)</where>
+  <when>
+   <begin>20030216</begin>
+   <end>20030218</end>
+  </when>
+  <deadline kind="submission">
+   <description>Papers due</description>
+   <date>20020901</date>
+  </deadline>
+  <deadline kind="notification">
+   <description>Notification</description>
+   <date>20021101</date>
+  </deadline>
+  <deadline kind="camera-ready">
+   <description>Camera-ready due</description>
+   <date>20021122</date>
+  </deadline>
+ </event>
 </events>