2023 г. семинар STEP продолжил традицию семинара ru-STEP и провел в канун Нового года “День Проблем 2023“ (см. “День Проблем 2020“, “День Проблем 2021“ и “День Проблем 2022“).
На “Дне проблем 2023“ выступили
00:04:00 Игорь Сергеевич Ануреев (ИСИ СО РАН): “И снова о формальной семантики Си: век живи, век учись“
00:25:30 Дмитрий Александрович Кондратьев (ИСИ СО РАН):“Дедуктивная верификация искусственного интеллекта“
00:49:00 Антонина Николаевна Непейвода (МВТУ и ИПС РАН): “О связи теоремы Турчина и анализа свойств формальных языков“
01:11:00 Александр Владимирович Коновалов (МВТУ): “Филология программирования“
01:45:00 Николай Вячеславович Шилов (Университет Иннополис): “Как решить рекурсивное уравнение“