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
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.
\n\nThe 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.
URL:https://unimath.github.io/bham2017/ END:VEVENT END:VCALENDAR