News and Events: Upcoming Events

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.