Universiteit van Amsterdam


Institute for Logic, Language and Computation

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 .