BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2015/newsitem/6041/1-3
 -July-2015-13th-International-Conference-on-Typed-
 Lambda-Calculi-and-Applications-TLCA-2015-Warsaw-P
 oland
DTSTAMP:20141120T000000
SUMMARY:13th International Conference on Typed Lam
 bda Calculi and\n        Applications (TLCA 2015),
  Warsaw, Poland
DTSTART;VALUE=DATE:20150701
DTEND;VALUE=DATE:20150703
LOCATION:Warsaw, Poland
DESCRIPTION:The 13th International Conference on T
 yped Lambda Calculi and Applications (TLCA 2015) i
 s a forum for original research in the theory and 
 applications of typed lambda calculus, broadly con
 strued. TLCA 2015 is organized as part of the Fede
 rated Conference on Rewriting, Deduction, and Prog
 ramming (RDP 2015), together with the Internationa
 l Conference on Rewriting Techniques and Applicati
 ons (RTA 2015) and several related events.    For 
 more information, see http://www.mimuw.edu.pl/tlca
 / and http://rdp15.mimuw.edu.pl/.    The Programme
  Committee cordially invites all researchers to su
 bmit their papers for presentation. Abstract Deadl
 ine: 30 January 2015.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      The 13th International Conference on Typed La
 mbda Calculi\n        and Applications (TLCA 2015)
  is a forum for original\n        research in the 
 theory and applications of typed lambda\n        c
 alculus, broadly construed.\n        TLCA 2015 is 
 organized as part of the Federated Conference on\n
         Rewriting, Deduction, and Programming (RDP
  2015), together with\n        the International C
 onference on Rewriting Techniques and\n        App
 lications (RTA 2015) and several related events.\n
       </p>\n    \n      \n      <p>\n        For m
 ore information, see <a target="_blank" href="http
 ://www.mimuw.edu.pl/tlca/">http://www.mimuw.edu.pl
 /tlca/</a> and\n        <a target="_blank" href="h
 ttp://rdp15.mimuw.edu.pl/">http://rdp15.mimuw.edu.
 pl/</a>.\n      </p>\n    </div><div>\n      <p>\n
         The Programme Committee cordially invites 
 all researchers\n        to submit their\n        
 papers for presentation.\n        Abstract Deadlin
 e:  30 January 2015.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/6041/1-3
 -July-2015-13th-International-Conference-on-Typed-
 Lambda-Calculi-and-Applications-TLCA-2015-Warsaw-P
 oland
END:VEVENT
END:VCALENDAR