Title: Glimpses of HOTT; Logic and Topology make elegant and useful Foundations
Speaker: Prof. Siddhartha Gadgil Indian Institute of Science
Date: 01 July 2013
Time: 3:30 - 4:30 p.m.
Venue: Lecture Hall III, Department of Mathematics

HOTT (homotopy type theory) is logic built on type theory (mostly from Computer Science) and ideas from topology to give foundations of mathematics that are very elegant and much closer to mathematical practice. This makes HOTT very useful for computer proof systems, and also gives a very nice new synthetic treatment of homotopy theory.

Contact: +91 (80) 2293 2711, +91 (80) 2293 2265 ;     E-mail: chair.math[at]iisc[dot]ac[dot]in
Last updated: 19 Feb 2019