В среду 9 ноября на факультете компьютерных наук Городского университета Нью-Йорка (City University of New York) Андрей Родин сделал доклад на тему «Исчисление задач Колмогорова и гомотопическая теория типов». Полное видео доклада доступно по ссылке :