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

diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml
index 94632cd06..efc407084 100644
--- a/helm/mowgli/home/xml/other-events.xml
+++ b/helm/mowgli/home/xml/other-events.xml
@@ -17,6 +17,129 @@
 ]>
 
 <events>
+ <event>
+  <name>6th European Conference on Research and Advanced Technology for
+   Digital Libraries (ECDL2002)</name>
+  <url>http://www.ecdl2002.org</url>
+  <where>Rome, Italy</where>
+  <when>
+   <begin>20020916</begin>
+   <end>20020918</end>
+  </when>
+  <deadline kind="submission">
+   <description>Deadline for ALL the proposals</description>
+   <date>20020501</date>
+  </deadline>
+  <deadline kind="notification">
+   <description>Notification of acceptance for tutorials and workshops</description>
+   <date>20020515</date>
+  </deadline>
+  <deadline kind="notification">
+   <description>Notification of acceptance for papers, panels and posters</description>
+   <date>20020615</date>
+  </deadline>
+  <deadline kind="submission">
+   <description>Camera ready papers due</description>
+   <date>20020701</date>
+  </deadline>
+ </event>
+ <event>
+  <name>Sixth International Conference on Typed Lambda Calculi and Applications (TLCA '03)</name>
+  <url>http://www.tcs.informatik.uni-muenchen.de/~mhofmann/tlca03cfp.html</url>
+  <where>Valencia, Spain</where>
+  <when>
+   <begin>????</begin>
+   <end>????</end>
+  </when>
+  <deadline kind="submission">
+   <description>Papers due</description>
+   <date>20021129</date>
+  </deadline>
+  <deadline kind="notification">
+   <description>Notification of acceptance</description>
+   <date>20030130</date>
+  </deadline>
+  <deadline kind="submission">
+   <description>Full papers due</description>
+   <date>20030315</date>
+  </deadline>
+ </event>
+
+ <event>
+  <name>Third International Workshop on Logical Frameworks and
+   Meta-Languages</name>
+  <url>http://www.cs.cmu.edu/~lfm02</url>
+  <description>A FLoC'02 affiliated workshop</description>
+  <where>Copenhagen, Denmark</where>
+  <when>
+   <begin>20020726</begin>
+   <end>20020726</end>
+  </when>
+  <deadline kind="submission">
+   <description>Papers due</description>
+   <date>20020415</date>
+  </deadline>
+  <deadline kind="notification">
+   <description>Notification of acceptance</description>
+   <date>20020513</date>
+  </deadline>
+  <deadline kind="submission">
+   <description>Full papers due</description>
+   <date>20020603</date>
+  </deadline>
+ </event>
+
+ <event>
+  <name>Internet Accessible Mathematical Computation</name>
+  <url>http://www.SymbolicNet.org/conferences/iamc02</url>
+  <description>a Workshop at ISSAC 2002</description>
+  <where>Lille, France</where>
+  <when>
+   <begin>20020707</begin>
+   <end>20020707</end>
+  </when>
+  <deadline kind="submission">
+   <description>Abstract due</description>
+   <date>20020512</date>
+  </deadline>
+  <deadline kind="notification">
+   <description>Notification of acceptance</description>
+   <date>20020527</date>
+  </deadline>
+  <deadline kind="submission">
+   <description>Description of the software required for demos due.</description>
+   <date>20020610</date>
+  </deadline>
+  <deadline kind="submission">
+   <description>Full papers due</description>
+   <date>20020627</date>
+  </deadline>
+ </event>
+
+ <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>
@@ -42,12 +165,39 @@
  <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>
@@ -98,7 +248,7 @@
   </deadline>
   <deadline kind="submission">
    <description>Full papers due</description>
-   <date>20020228</date>
+   <date>20020628</date>
   </deadline>
  </event>
 
@@ -138,7 +288,7 @@
  <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>