BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/929
5/11---15-December-2017-School-Workshop-on-Univale
nt-Mathematics-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\n 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.

\n
URL:https://unimath.github.io/bham2017/
END:VEVENT
END:VCALENDAR