Skip to Content.
Sympa Menu

coq-club - [Coq-Club] School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK)


Chronological Thread 
  • From: Benedikt Ahrens <benedikt.ahrens AT gmx.net>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK)
  • Date: Fri, 1 Sep 2017 21:10:24 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=benedikt.ahrens AT gmx.net; spf=Pass smtp.mailfrom=benedikt.ahrens AT gmx.net; spf=None smtp.helo=postmaster AT mout.gmx.net
  • Ironport-phdr: 9a23:jTIyGRL6/oyyHYza1tmcpTZWNBhigK39O0sv0rFitYgXLP7xwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBWB6kG1uDUVA1D0MRd/DuXzAI/bycqthM6o/JiGSQhOiTa8Yq86BRWsoAPK/p0cjI1vJqcy1l3AomFFff9+ymZ4Y1Seg0CvtY+L4Jd//nEI6Loa/MlaXPCicg==

Dear all,

We are pleased to announce the School and Workshop on Univalent
Mathematics to be held at the University of Birmingham (UK), December
11-15, 2017.


Overview
----------

Univalent Type Theory is an emerging field of mathematics that studies
a fruitful relationship between homotopy theory and (dependent) type
theory. This relation plays a crucial role in Voevodsky's program of
Univalent Foundations, a new approach to foundations of mathematics,
based on ideas from homotopy theory, such as the Univalence Principle.

The UniMath library is a large repository of computer-checked
mathematics, developed from the univalent viewpoint. The workshop will
give many young researchers an opportunity to familiarize themselves
with the UniMath library and become contributors.


Format
----------

During the school/workshop, the participants will be working either
individually or in small groups, mentored by experienced UniMath
developers. The problems will be designed to be of practical
importance in the development of the UniMath library as well as of
pedagogical value to participants.


Application and funding
----------

For information on how to participate, please visit
https://unimath.github.io/bham2017/.
The deadline to apply is October 15, 2017.
Financial support is available to cover participants' travel and
lodging expenses.


Mentors
----------

Benedikt Ahrens (University of Birmingham)
Martín Escardó (University of Birmingham)
Daniel Grayson (University of Illinois Urbana-Champaign)
Joseph Helfer (Stanford University)
Kuen-Bang Hou (Favonia) (Institute for Advanced Study, Princeton)
Chris Kapulkin (University of Western Ontario)
Peter Lumsdaine (Stockholm University)
Ralph Matthes (CNRS, University Toulouse)
Vladimir Voevodsky (Institute for Advanced Study, Princeton)
Matthew Weaver (Princeton University)


Best regards,
Benedikt Ahrens and Chris Kapulkin
for the organizers


  • [Coq-Club] School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK), Benedikt Ahrens, 09/01/2017

Archive powered by MHonArc 2.6.18.

Top of Page