BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UM//UM*Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Detroit
TZURL:http://tzurl.org/zoneinfo/America/Detroit
X-LIC-LOCATION:America/Detroit
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20070311T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20071104T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260323T113109
DTSTART;TZID=America/Detroit:20260410T130000
DTEND;TZID=America/Detroit:20260410T140000
SUMMARY:Workshop / Seminar:Type theory seminar: Simply typed lambda calculus and normalization
DESCRIPTION:This is a learning seminar on dependent type theory. We are currently following Peter Selinger's lecture notes on the lambda calculus (available online here: https://www.mathstat.dal.ca/~selinger/papers/lambdanotes.pdf). This talk will cover part of chapter 6 (specifically sections 6.1\, 6.6\, and 6.7) and and chapter 7 of Selinger's notes\, on the simply-typed lambda calculus and normalization\, respectively. The talk may also incorporate material from chapters 4 and 6 of the textbook \"Proofs and Types\" by Girard\, Lafont and Taylor (which cover normalization for the simply typed lambda calculus).
UID:146916-21899790@events.umich.edu
URL:https://events.umich.edu/event/146916
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 3088
CONTACT:
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260323T113519
DTSTART;TZID=America/Detroit:20260417T130000
DTEND;TZID=America/Detroit:20260417T140000
SUMMARY:Workshop / Seminar:Type theory seminar: Type inference
DESCRIPTION:This is a learning seminar on dependent type theory. We are currently following Peter Selinger's lecture notes on the lambda calculus (available online here: https://www.mathstat.dal.ca/~selinger/papers/lambdanotes.pdf). This talk will cover chapter 9 of Selinger's notes\, on algorithms for type checking and type inference in the simply typed lambda calculus.
UID:146918-21899791@events.umich.edu
URL:https://events.umich.edu/event/146918
CLASS:PUBLIC
STATUS:CONFIRMED
CATEGORIES:Mathematics
LOCATION:East Hall - 3088
CONTACT:
END:VEVENT
END:VCALENDAR