Где: РОИФН
Когда: в понедельник 4 июля начиная с 16 часов по Московскому времени
Полная видеозапись (youtube): тут
Программа:
16:00 – 16:40 Алена Жукова и Андрей Родин. Топологический анализ как инструмент получения и представления знаний (abstract)
16:40 – 16:45 короткий перерыв
16:45 – 17:25 Сергей Титов. Эмпирические доказательства эффективности различных подходов к объяснению работы нейронных сетей (abstract)
17:25 – 17:30: короткий перерыв
17:30 – 18:10 Андрей Родин. Отрицание проблем по Колмогорову (extended abstract)(slides)(Kolmogorov1932en)(Kolmogorov1932de)(Kolmogorov1932ru)
18:10 – 18:30 длинный перерыв
18:30 – 19:10 Георгий Шабат. О понимании математических утверждений и их доказательств (abstract)(slides)
19:10 – 19:15: короткий перерыв
19:15 – 19:55 Ирина Старикова (независимый исследователь) Мысленные эксперименты в математике. (paper draft)
19:55 – 20:00 короткий перерыв
20:00 – 20:30 общая дискуссия