BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/6099/12-December-2014-Cool-Logic-Tingxiang-Zou
DTSTAMP:20141207T000000
SUMMARY:Cool Logic, Tingxiang Zou
ATTENDEE;ROLE=Speaker:Tingxiang Zou
DTSTART:20141212T173000
DTEND: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/Events/Upcoming-Events/newsitem
/6099/12-December-2014-Cool-Logic-Tingxiang-Zou
END:VEVENT
END:VCALENDAR