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 \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

\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