Где: Интернет
Когда: в среду 24 ноября начиная с 10 часов по Московскому времени
Полная видеозапись (youtube): здесь
Программа:
10:00 – 11:00 Георгий Шабат (МГУ, РГГУ, МПГУ). Уравнение Гёделя-Матиясевича (abstract)
11:00 – 11:10 короткий перерыв
11:10 – 12:10 Даня Рогозин (ИППИ РАН). Версии семантики Крипке-Жояля для интуиционистской модальной логики предикатов (abstract)(paper)
12:10-13:00 длинный перерыв
13:00 – 14:00 Сергей Титов (JetBrain). Критика статистического подхода в системах объяснения для машинного обучения (abstract)
14:00 – 14:10 короткий перерыв
14:10 – 15:10 Владимир Васюков (ИФРАН). Ложное знание и фейковая агентность (abstract)