Новости
Во вторник 18 ноября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчики: Бельтюков Анатолий Петрович (профессор, Удмуртский государственный университет, Институт математики, информационных технологий и физики) и Милад Джудакизаде (аспирант, Удмуртский государственный университет)
Тема: Дедуктивный синтез программ в логическом программировании
Представляется подход к дедуктивному синтезу программ с использованием секвенциального метода Генцена в рамках логического программирования. Используя секвенциальное исчисление как формальную систему для структурированного логического вывода, наш метод автоматизирует вывод доказуемо корректных программ из спецификаций, выраженных в логике предикатов первого порядка без отрицаний. Мы формализуем синтаксис и семантику секвенциального исчисления, реализуя его основные правила вывода (правила введения и удаления) в логическом программировании для обеспечения масштабируемого синтеза. Практические примеры демонстрируют преобразование логических спецификаций в исполняемые программы. Подход обеспечивает формальную корректность через конструктивную семантику реализуемости Клини, при этом синтезированные программы работают в субрекурсивном языке, чтобы гарантировать завершение вычислительных процессов. Мы оцениваем сильные стороны метода, включая его надежность для систем с критической безопасностью, и его ограничения, такие как вычислительная сложность для неограниченных конструкций. В сравнении с синтезом, управляемым ИИ, наш подход ставит на первое место формальные гарантии, дополняя современные тенденции. Направления будущих исследований включают оптимизацию вычислительной эффективности и расширение применимости к сложным задачам реального мира.
19 ноября 2025 г. в первой половине дня состоятся мероприятия, посвященные 125-летию со дня рождения академика Михаила Алексеевича Лаврентьева:
- 11 часов. Посещение мемориального комплекса на кладбище Южное. Возложение цветов к могиле академика М.А. Лаврентьева.
- 12 часов. Возложение цветов к памятнику академика М.А. Лаврентьева (просп. Академика Лаврентьева, 17).
Приглашаем принять участие.
В четверг 13 ноября 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Загорулько Юрий Алексеевич (ИСИ СО РАН, НГУ)
Тема: XXII Национальная конференция по искусственному интеллекту с международным участием (КИИ-2025). Часть 2
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
18 ноября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Николай Вячеславович Шилов, к.ф.-м.н., независимый исследователь
Тема доклада: «Молодой математик Михаил Алексеевич Лаврентьев»
19.11.2025 г. исполнится 125 лет со дня рождения одного из основателей и первого председателя Сибирского отделения АН СССР / СО РАН академика Михаила Алексеевича Лаврентьева (1900–1980). В докладе будут освещены ранние научные работы М.А. Лаврентьева, затронута «предыстория» физико-математических школ-интернатов.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/99119182798336
Во вторник 11 ноября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Сергей Михайлович Старолетов (с.н.с. Института Автоматики и Электрометрии СО РАН, доцент АлтГТУ)
Тема: Вещественная арифметика IEEE 754, подходы к тестированию и верификации
Вещественные числа типа float и double всегда казались магией, ведь кажется, что они могут хранить всё! Но это далеко не так и для реализации систем надежных вычислений нужно понимать, как они работают. Лучший способ это понять - это написать собственную библиотеку, которая сможет проходить тесты стандарта IEEE 754. В докладе будет рассмотрен опыт реализации умножения таких чисел и тесты для этого. Также рассмотрим статью на SPIN2019, в которой было предложено верифицировать такие вычисления методом Model Checking и оценим число состояний для такой реализации.
Во вторник 18 ноября в 14.30 состоится заседание N 1020 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Реферат статьи "Demystifying NCCL: An In-depth Analysis of GPU Communication Protocols and Algorithms (Zhiyi Hu, Siyuan Shen, Tommaso Bonato, Sylvain Jeaugey, Cedell Alexander, Eric Spada, Jeff Hammond, Torsten Hoefle) (arxiv.org, 2025)"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Новости за последний месяц
