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      <p>\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      <p>\n        Deadline for registra
 tion is January 30th, 2009.\n        For more info
 rmation, see <a target="_blank" href="http://www.w
 in.tue.nl/math/eidma/courses/minicourses/barendreg
 tenklop/barendregtenklop.html">http://www.win.tue.
 nl/math/eidma/courses/minicourses/barendregtenklop
 /</a> or <a class="longdescriptionlink" href="http
 s://www.illc.uva.nl/NewsandEvents/newsitem/2655">h
 ere</a>. The complete programme may be found at \n
         <a target="_blank" href="http://www.cs.ru.
 nl/~henk/LC-TRS.pdf">http://www.cs.ru.nl/~henk/LC-
 TRS.pdf</a>.\n      </p>\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