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/2017/newsitem/9295/11-
 --15-December-2017-School-Workshop-on-Univalent-Ma
 thematics-Birmingham-England
DTSTAMP:20170907T152353
SUMMARY:School & Workshop on Univalent Mathematics
 , Birmingham, England
DTSTART;VALUE=DATE:20171211
DTEND;VALUE=DATE:20171215
LOCATION:Birmingham, England
DESCRIPTION:Univalent Type Theory is an emerging f
 ield of mathematics that studies a fruitful relati
 onship between homotopy theory and (dependent) typ
 e theory. This relation plays a crucial role in Vo
 evodsky's program of Univalent Foundations, a new 
 approach to foundations of mathematics, based on i
 deas from homotopy theory, such as the Univalence 
 Principle.  The UniMath library is a large reposit
 ory of computer-checked mathematics, developed fro
 m the univalent viewpoint. The workshop will give 
 many young researchers an opportunity to familiari
 ze themselves with the UniMath library and become 
 contributors. During the school/workshop, the part
 icipants will be working either individually or in
  small groups, mentored by experienced UniMath dev
 elopers. The problems will be designed to be of pr
 actical importance in the development of the UniMa
 th library as well as of pedagogical value to part
 icipants.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Univalent Type
  Theory is an emerging field of mathematics that s
 tudies a fruitful relationship between homotopy th
 eory and (dependent) type theory. This relation pl
 ays a crucial role in Voevodsky's program of Univa
 lent Foundations, a new approach to foundations of
  mathematics, based on ideas from homotopy theory,
  such as the Univalence Principle.</p>\n\n  <p>The
  UniMath library is a large repository of computer
 -checked mathematics, developed from the univalent
  viewpoint. The workshop will give many young rese
 archers an opportunity to familiarize themselves w
 ith the UniMath library and become contributors. D
 uring the school/workshop, the participants will b
 e working either individually or in small groups, 
 mentored by experienced UniMath developers. The pr
 oblems will be designed to be of practical importa
 nce in the development of the UniMath library as w
 ell as of pedagogical value to participants.</p>\n
URL:https://unimath.github.io/bham2017/
END:VEVENT
END:VCALENDAR