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
Invited sp eakers include Corrado Böhm, Mariangiola\n Dezani-Ciancaglini, Jan Willem Klop, Jean-Jacqu es Lévy,\n Giuseppe Longo, Bill Philli ps, Gordon Plotkin, Anne Speckens and\n Richa rd Statman.\n
\n \nPlease reg ister by sending a mail to\n barendregt60 at cs.ru.n l before 10 december.\n For more inform ation, see\n http://www.cs.ru.nl/ barendregt60/\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