On Wednesday, November 9 (that was already the early morning of Thursday by Central European Time), in the Computer Science department of the City University of New York, Andrei Rodin presented a research talk titled “Kolmogorov’s Calculus of Problems and Homotopy Type Theory”.  Full video is available on youtube: