+ <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>
+