From f9928c9ee59f3721abb605f64d077dba8f9016e0 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 11 Apr 2002 08:50:31 +0000
Subject: [PATCH] New data.

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

diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml
index d4ec276be..6c4fbf1b3 100644
--- a/helm/mowgli/home/xml/other-events.xml
+++ b/helm/mowgli/home/xml/other-events.xml
@@ -17,6 +17,52 @@
 ]>
 
 <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>
-- 
2.39.2