14 января отмечается Всемирный день логики (World Logic Day) - международный день, провозглашенный ЮНЕСКО совместно с Международным советом по философии и гуманитарным наукам.
В ознаменование WLD-2021 15 января 2021 в 10:00 мск (14:00 нск) Университет Иннополис (Казань) проводит онлайн-семинар в Zoom (https://us02web.zoom.us/j/83175939824, идентификатор конференции 831 7593 9824).
Программа семинара WLD-2021:
10: 00-10: 10 - Открытие
10: 10-10: 40 - Захар Ягудин (IU, BS-II): Краткое введение в Правила 0-1 для графов и логики
10: 40-10: 55 - Вопросы / ответы и обсуждение законов 0-1 и связанных тем
11: 55-11: 05 - перерыв
11: 05-11: 35 - Дмитрий Кондратьев (ИСИС, младший научный сотрудник): Обзор ACL2 доказывает, что sqrt (2) не является «числом»
11: 35-11: 50 - Вопросы / ответы и обсуждение sqrt (2), ACL2 и связанных тем
11: 50-12: 00 - перерыв
12: 00-12: 30 - Борис Файфель (A / Prof, Саратовский ТУ): Уголок головоломок - Как реализовать логические головоломки на императивных языках.
12:30 - Заключительная дискуссия.
Информация размещена в Telegram-группах WLD-2021 (https://t.me/joinchat/FIbIVfsonWm-CKx5), Математического Клуба ИУ (https://t.me/InnoMath) и на тестовой версии страницы семинара ru-STEP (https://persons.iis.nsk.su/ru/ruSTEP).