Во вторник 30 сентября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: к.т.н., с.н.с. Шелехов Владимир Иванович (ИСИ СО РАН)
Тема: Предпосылки создания ассоциации формальных методов
Наконец-то и в России появились пока небольшие группы специалистов, применяющих формальные методы в производственном программировании. Назрела необходимость объединения специалистов для решения существующих проблем в сфере формальных методов на государственном уровне. Предлагаемая форма объединения – ассоциация специалистов, считающих формальные методы своей профильной дисциплиной.
В докладе будет представлен анализ по следующим аспектам:
- позиция научной дисциплины «Формальные методы» в системе наук;
- краткое определение формальных методов: понятия задачи, спецификации, верификации и т.д.
- области применения формальных методов;
- состояние исследований и применений формальных методов в нашей стране;
- проблемы обучения формальным методам;
- основные задачи развития дисциплины исходя из текущего состояния.