STEP30dec23ProblemsDay

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