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 https:
 //www.illc.uva.nl/coollogic/ or contact coollogic.
 uva at gmail.com
X-ALT-DESC;FMTTYPE=text/html:\n        <p>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&ouml;
 f's dependent type theory; homotopy theory; their 
 connections and maybe Voevodsky's Univalence Axiom
 .</p>\n    \n        <p>For more information, see 
 <a target="_blank" href="https://www.illc.uva.nl/c
 oollogic/">https://www.illc.uva.nl/coollogic/</a> 
 or contact <a class="email">coollogic.uva <span cl
 ass="at">at</span> gmail.com</a></p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/6099/12-
 December-2014-Cool-Logic-Tingxiang-Zou
END:VEVENT
END:VCALENDAR