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/2014/newsitem/5388/14-
 17-July-2014-Joint-25th-International-Conference-o
 n-Rewriting-Techniques-and-Applications-RTA-2014-1
 2th-International-Conference-on-Typed-Lambda-Calcu
 li-and-Applications-TLCA-2014-Vienna-Austria
DTSTAMP:20131128T000000
SUMMARY:Joint 25th International Conference on Rew
 riting Techniques and Applications (RTA 2014) & 12
 th International Conference on Typed  Lambda Calcu
 li and Applications (TLCA 2014): , Vienna, Austria
DTSTART;VALUE=DATE:20140714
DTEND;VALUE=DATE:20140717
LOCATION:Vienna, Austria
DESCRIPTION:This joint RTA and TLCA conference is 
 the major forum for the presentation of research o
 n all aspects of rewriting and typed lambda-calcul
 i. Areas of interest include but are not limited t
 o Foundations, Algorithmic aspects and implementat
 ion, Logic, Types, Semantics and Programming.   Fo
 r more information, see http://vsl2014.at/rta-tlca
    The Programme Committee cordially invites all r
 esearchers to submit their papers for presentation
 . Deadline for abstract submission: January 28, 20
 14.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      This joint RTA and TLCA conference is the maj
 or forum for the\n        presentation of research
  on all aspects of rewriting and typed\n        la
 mbda-calculi. Areas of interest include but are no
 t limited\n        to Foundations, Algorithmic asp
 ects and implementation, Logic,\n        Types, Se
 mantics and Programming.\n      </p>\n    \n      
 \n      <p>For more information, see\n        <a t
 arget="_blank" href="http://vsl2014.at/rta-tlca">h
 ttp://vsl2014.at/rta-tlca</a>\n      </p>\n    </d
 iv><div>\n      <p>\n        The Programme Committ
 ee cordially invites all researchers\n        to s
 ubmit their\n        papers for presentation.\n   
      Deadline for abstract submission: January 28,
  2014.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2014/newsitem/5388/14-
 17-July-2014-Joint-25th-International-Conference-o
 n-Rewriting-Techniques-and-Applications-RTA-2014-1
 2th-International-Conference-on-Typed-Lambda-Calcu
 li-and-Applications-TLCA-2014-Vienna-Austria
END:VEVENT
END:VCALENDAR