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/2014/newsitem/6099/12-
December-2014-Cool-Logic-Tingxiang-Zou
DTSTAMP:20141207T000000
SUMMARY:Cool Logic, Tingxiang Zou
ATTENDEE;ROLE=Speaker:Tingxiang Zou
DTSTART;TZID=Europe/Amsterdam:20141212T173000
DTEND;TZID=Europe/Amsterdam:20141212T183000
LOCATION:ILLC seminar room F1.15, Science Park 107
, Amsterdam
DESCRIPTION:In the last decade, a number of deep c
onnections between a form of type theory and homot
opy theory have been discovered, which leads to a
new research area: Homotopy Type Theory (HoTT) tha
t attracts theoretical computer scientists, topolo
gists, logicians and categorical theorists. In thi
s talk, I will give a very brief introduction for
HoTT: Martin Löf's dependent type theory; homotopy
theory; their connections and maybe Voevodsky's U
nivalence Axiom. For more information, see http:/
/www.illc.uva.nl/coollogic/ or contact coollogic.u
va at gmail.com
X-ALT-DESC;FMTTYPE=text/html:\n In the l
ast decade, a number of deep connections between a
form of type theory and homotopy theory have been
discovered, which leads to a new research area: H
omotopy Type Theory (HoTT) that attracts theoretic
al computer scientists, topologists, logicians and
categorical theorists. In this talk, I will give
a very brief introduction for HoTT: Martin Lö
f's dependent type theory; homotopy theory; their
connections and maybe Voevodsky's Univalence Axiom
.

\n \n For more information, see
http://www.illc.uva.nl/coollogic/ or
contact coollogic.uva at gmail.com

\n
URL:/NewsandEvents/Archives/2014/newsitem/6099/12-
December-2014-Cool-Logic-Tingxiang-Zou
END:VEVENT
END:VCALENDAR