Please note that this newsitem has been archived, and may contain outdated information or links.
18 - 20 December 2019, Workshop 'Foundations & Applications of Univalent Maths', Herrsching, Germany
Date: 18 - 20 December 2019
Location: Herrsching, Germany
This is a project kickoff workshop.
It focuses on both the foundation of univalent mathematics and the applications of the univalent innovations.
For more information, see
http://cj-xu.github.io/faum/
or contact Chuangjie Xu at xu at math.lmu.de.
Please note that this newsitem has been archived, and may contain outdated information or links.