LC 2017: LOGIC COLLOQUIUM 2017
Vladimir Voevodsky
Organization: Institute for Advanced Study
Web page: http://www.math.ias.edu/~vladimir/Site3/home.html
Pages in this Program
Program
Program for Friday, August 18th
Program for Saturday, August 19th