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