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/2009/newsitem/2655/16- 20-February-2009-Mini-course-Highlights-of-Lambda- Calculus-and-Term-Rewriting-Systems DTSTAMP:20081211T000000 SUMMARY:Mini-course Highlights of Lambda Calculus and Term Rewriting Systems ATTENDEE;ROLE=Speaker:Henk Barendregt and Jan Will em Klop DTSTART;VALUE=DATE:20090216 DTEND;VALUE=DATE:20090220 LOCATION:Technical University Eindhoven DESCRIPTION:This five day master class in lambda c alculus and term rewriting is centered around some twenty of the main theorems, both classical and r ecent. Each theorem is treated in a syllabus chapt er of 10 pages, concluded with a section of exerci ses and notes for follow-up subjects and further r eading. Deadline for registration is January 30 th, 2009. For more information, see http://www.win .tue.nl/math/eidma/courses/minicourses/barendregte nklop/ or here. The complete programme may be foun d at http://www.cs.ru.nl/~henk/LC-TRS.pdf. X-ALT-DESC;FMTTYPE=text/html:\n
\n This five day master class in lambda calculus and term\n rewriting is centered around some tw enty of the main theorems,\n both classical and recent. Each theorem is treated in a\n syllabus chapter of 10 pages, concluded with a se ction of\n exercises and notes for follow-u p subjects and further\n reading.\n p>\n \n
\n Deadline for registra tion is January 30th, 2009.\n For more info rmation, see http://www.win.tue. nl/math/eidma/courses/minicourses/barendregtenklop / or he re. The complete programme may be found at \n http://www.cs.ru.nl/~henk/LC-T RS.pdf.\n
URL:/NewsandEvents/Archives/2009/newsitem/2655/16- 20-February-2009-Mini-course-Highlights-of-Lambda- Calculus-and-Term-Rewriting-Systems END:VEVENT END:VCALENDAR