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/2007/newsitem/2058/17-
 December-2007-Symposium-Reflections-on-Type-Theory
 -Lambda-Calculus-and-the-Mind-Celebrating-Henk-Bar
 endregts-60th-birthday-Nijmegen-The-Netherlands
DTSTAMP:20071025T000000
SUMMARY:Symposium "Reflections on Type Theory, Lam
 bda Calculus and the Mind",  Celebrating Henk Bare
 ndregt's 60th birthday, Nijmegen, The Netherlands
DTSTART;VALUE=DATE:20071217
DTEND;VALUE=DATE:20071217
LOCATION:Nijmegen, The Netherlands
DESCRIPTION:Invited speakers include Corrado Böhm,
  Mariangiola Dezani-Ciancaglini, Jan Willem Klop, 
 Jean-Jacques Lévy, Giuseppe Longo, Bill Phillips, 
 Gordon Plotkin, Anne Speckens and Richard Statman.
    Please register by sending a mail to barendregt
 60 at cs.ru.nl before 10 december. For more inform
 ation, see http://www.cs.ru.nl/barendregt60/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Invited sp
 eakers include Corrado B&ouml;hm, Mariangiola\n   
    Dezani-Ciancaglini, Jan Willem Klop, Jean-Jacqu
 es L&eacute;vy,\n      Giuseppe Longo, Bill Philli
 ps, Gordon Plotkin, Anne Speckens and\n      Richa
 rd Statman.\n      </p>\n    \n      <p>Please reg
 ister by sending a mail to\n        <a class="emai
 l">barendregt60 <span class="at">at</span> cs.ru.n
 l</a> before 10 december.\n        For more inform
 ation, see\n        <a target="_blank" href="http:
 //www.cs.ru.nl/barendregt60/">http://www.cs.ru.nl/
 barendregt60/</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2007/newsitem/2058/17-
 December-2007-Symposium-Reflections-on-Type-Theory
 -Lambda-Calculus-and-the-Mind-Celebrating-Henk-Bar
 endregts-60th-birthday-Nijmegen-The-Netherlands
END:VEVENT
END:VCALENDAR