Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

12 December 2014, Cool Logic, Tingxiang Zou

Speaker: Tingxiang Zou
Title: An Invitation to Homotopy Type Theory
Date: Friday 12 December 2014
Time: 17:30-18:30
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
Target audience: MSc Logic and PhD students

In the last decade, a number of deep connections between a form of type theory and homotopy theory have been discovered, which leads to a new research area: Homotopy Type Theory (HoTT) that attracts theoretical computer scientists, topologists, logicians and categorical theorists. In this talk, I will give a very brief introduction for HoTT: Martin Löf's dependent type theory; homotopy theory; their connections and maybe Voevodsky's Univalence Axiom.

For more information, see http://www.illc.uva.nl/coollogic/ or contact

Please note that this newsitem has been archived, and may contain outdated information or links.