О конференции
Как она прошла в 2024
Открытая конференция ИСП РАН проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук при поддержке ряда российских и зарубежных партнёров. В 2024 г. конференция была посвящена 30-летию ИСП РАН, который был основан крупным советским и российским учёным В.П. Иванниковым 25 января 1994 года.
Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки информационных технологий и их использования в сферах образования, науки и промышленности.
Участники: эксперты отечественных и зарубежных научных и образовательных организаций, представители ведущих ИТ-компаний и государственных ведомств. Участие бесплатное как для слушателей, так и для докладчиков.
В рамках конференции проводится выставка технологий ИСП РАН, внедрённых в различные отрасли промышленности. К участию приглашаются также партнёрские организации.
Программа конференции
Вторник, 9 декабря 2025 года
Регистрация, приветственный кофе. Начало работы выставки технологий ИСП РАН и компаний-партнёров
Зал «Молекула»
Пленарная сессия «Технологическая независимость России в современном мире. Вызовы и возможности»
Кофе-брейк
Секция «Разработка безопасного ПО: качество, доверие, сообщество»
Ведущий секции: Дмитрий Пономарев, ИСП РАН и «Фобос-НТ»
13:00 - 14:00 Круглый стол «Безопасная аппаратура, консолидация усилий»
Лютиков Виталий Сергеевич, первый заместитель директора ФСТЭК России
Шпак Василий Викторович, заместитель Министра промышленности и торговли Российской Федерации
14:00 - 14:15 Направления развития РБПО в 2025 году
Лютиков Виталий Сергеевич, первый заместитель директора ФСТЭК России
14:15 - 14:45 Награждение Сообщества РБПО
Дмитрий Шевцов, начальник 2 управления ФСТЭК России
Ирина Гефнер, заместитель начальника 2 управления ФСТЭК России
14:45 - 15:05 Развитие НПА и стандартов в области РБПО
Дмитрий Шевцов, начальник 2 управления ФСТЭК России
Ирина Гефнер, заместитель начальника 2 управления ФСТЭК России
15:05 - 15:20 Итоги сертификации процессов РБПО за 2025 год
Вартан Падарян, ИСП РАН
15:20 - 15:50 Технологии для бизнеса. Блок технологических партнеров ИСП РАН
Дмитрий Пономарев, ИСП РАН и «Фобос-НТ»
15:50 - 16:10 Кофе-брейк
16:10 - 16:50 Испытания статических анализаторов. История и итоги
Дмитрий Пономарев, ИСП РАН и «Фобос-НТ»
Дмитрий Шевцов, начальник 2 управления ФСТЭК России
Ирина Гефнер, заместитель начальника 2 управления ФСТЭК России
16:55 - 17:20 Испытания статических анализаторов, выступления участников и ответы на вопросы
Дмитрий Пономарев, ИСП РАН и «Фобос-НТ»
Дмитрий Шевцов, начальник 2 управления ФСТЭК России
Ирина Гефнер, заместитель начальника 2 управления ФСТЭК России
17:20 - 17:35 Кофе-брейк
17:35 - 18:50 Круглый стол «Разработка безопасного ПО в финансовом секторе»
Вартан Падарян, ИСП РАН
Зал «Физика», 13:00-19:00
Открытое итоговое совещание Консорциума исследований безопасности технологий ИИ
«Перспективы информационной безопасности в искусственном интеллекте»
Это мероприятие соберет регуляторов, ведущих экспертов для глубокого анализа рисков, вызовов и стратегий обеспечения безопасности в быстро развивающейся сфере искусственного интеллекта. В фокусе обсуждения — подведение итогов деятельности Рабочих групп Консорциума и планы деятельности на 2026 год.
Участие в сессии будет интересно специалистам в области искусственного интеллекта, информационной безопасности, исследователям, разработчикам, регуляторам, а также представителям бизнеса, внедряющим AI-решения.
Ведущий секции: И.Ф. Качалин, директор АНО «НТЦ ЦК»
Максим Гурский1
1 Positive Technologies
Разработка нормативно-правовых актов для реализации Национальной стратегии развития искусственного интеллекта на период до 2030 года
Антон Башарин1
1 AppSec Solutions
Тестирование технологий искусственного интеллекта
Лидия Виткова1
1 Газинформсервис
Создание и функционирование реестра доверенных решений искусственного интеллекта
Вартан Падарян1
1 ИСП РАН
Безопасная разработка технологий искусственного интеллекта
Дискуссия
Технический перерыв
Максим Рындин1, Денис Кущук2
1 ИСП РАН
Современный MLOps и как он может помочь доверенному ИИ
Кирилл Лукьянов1
1 ИСП РАН
Опыт создания системы автоматизированной проверки угроз, специфичных для ИИ
Кофе-брейк
Юрий Маркин1
1 ИСП РАН
О подходах к маркировке медиаконтента
Александра Бернадотт1,2
1 ВШЭ, 2 Нейроспутник
Методология работы с ИИ в разработке нейроинтерфейсов с решением задачи подбора ментальных паттернов для управления и навигации
Владимир Заборовский1
1 СПбПУ
Поворотный момент в развитии компьютерных наук: генеративные большие лингвистические модели — это не всё, что нужно
Дмитрий Ватолин1
1 МГУ им. Ломоносова
Бенчмарки, челленджи, дипфейки и надежная наука
Наталья Лукашевич1, Даниил Чернышев1, Полина Ярошенко1, Борис Добров1
1 НИВЦ МГУ
Автоматическая оценка содержательного качества текстов, порожденных LLM
Иван Тюкин1
1 Сколтех
Галлюцинации и доверие к генеративному ИИ
Артем Менисов1
1 Военно-космическая академия им. Можайского
Горизонты защитных технологий искусственного интеллекта - коллективные решения сложных рисков
Марина Полукошко1, Егор Аничков1, Четвергов Андрей1, Уколов Степан1
1 РАНХиГС
Динамические подходы к оценке способностей генеративных моделей ИИ: вызовы и достижения
Михаил Бабенко1
1 СКФУ
Нейронный сети сохраняющие конфиденциальность: от теории к практике
Лекторий «Кинетика», 13:00-18:30
Секция «Системы управления базами данных»
Модератор: Павел Велихов, Яндекс
Константин Осипов1, Александр Коротков2
1 Arenadata, 2 Supabase
Расширяя пределы PostgreSQL: архитектура и интеграция OrioleDB
Тимур Сафин1
1 LRI DBLab
Проблема медленного JIT решена?
Перерыв, кофе-брейк
Владимир Озеров1
1 CedrusData
Разработка нативного акселератора SQL-запросов на Rust для Trino
Семен Григорьев1
1 СПбГУ
Линейная алгебра как основа для языка запросов к графам
Андрей Бородин1
1 Яндекс
Проблемы субтранзакций и мультитранзакций в Postgres
Зал «Архангельск», 13:00-15:30
Конференция «Анализ данных в медицине»
Модератор: Андрей Бурсов, ИСП РАН
Вступительное слово модератора
Чибисова Светлана1,2, Полукошко Марина3
1 ГБУЗ НИКИО им. Л.И. Свержевского, 2 ФГБОУ ДПО РМАНПО Минздрава России, 3Исследовательский центр искусственного интеллекта ИОН Президентской академии
Оцифровка архива бумажных карт детского сурдологического центра г. Москвы
Аничкова Елизавета1, Полукошко Марина3
1 ФГБУ НМИЦ АГП им. В.И. Кулакова, 2 Исследовательский центр искусственного интеллекта ИОН Президентской академии
How-to-Doc: агентная система диалоговой симуляции клинических сценариев для обучения врачей-акушеров-гинеколого
Капнинский Артём1
1 Цельс (Медицинские скрининг системы)
Искусственный интеллект в рентгенологии
Киселев Виктор1
1 ООО "РТК Радиология"
Интеграция искусственного интеллекта в практику врача-рентгенолога
Поляков Никита1
1 ООО "Алнисофт"
Отечественный ИИ-ассистент при колоноскопии ArtInCol: первые шаги на рынке медицинских изделий
Козачок Александр1, Козачок Елена1
1 ИСП РАН
Интеллектуальная система поддержки принятия врачебных решений в диагностике новообразований кожи на основе мобильной дерматоскопии
Газашвили Тамара1
1 ГБУЗ ГКБ 67 им. Л.А. Ворохобова ДЗМ
Искусственный интеллект в функциональной диагностике: помощник или будущий конкурент врача?
Бурсов Андрей1
1 ИСП РАН
Мультимодальный анализ ЭКГ. Опыт ИСП РАН
Панкратов Игорь1
1 Лаборатория интеллектуального анализа данных в области государственного управления, РАНХиГС
Использование ИИ агентов в управлении научно-исследовательской деятельностью и медицинскими исследованиями
Открытое обсуждение
Зал «Архангельск», 16:00-18:00
Секция «Использование сертификатов безопасности в доверенном ПО, ПАК и ИС. Построение единого пространства доверия в РФ»
Организаторы: АНО НТЦ ЦК, ИСП РАН
При участии: ФСБ России, ФСТЭК России, Минцифры
Модератор: Качалин Игорь Федорович, АНО НТЦ ЦК
Лебедева Серафима1
1 РТ Лабс
Система Отраслевого Технологического Удостоверяющего центра и применения ее механизмов для выдачи сертификатов и подписи ПО
Петров Александр1
1 КриптоПро
Практические подходы к реализации подписи ПО в рамках инициативного эксперимента российских вендоров СКЗИ и его результаты
Калугина Анастасия1
1 ИнфоТеКС
Подпись ПО в процессах РБПО, обеспечении и эксплуатации доверенного ПО
Открытая дискуссия
Участники дискуссии:
- Смышляев С.В., д.ф.-м.н, КриптоПро;
- Гусев Д.М., к.т.н., ИнфоТеКС;
- Задорожный Д.И., Код Безопасности;
- представители регуляторов в области ИБ/ИТ.
Вопросы для обсуждения:
1. Есть ли потребность в части обеспечения целостности и аутентичности разрабатываемого ПО?
2. Что мешает внедрению подходов и механизмов подписи ПО отечественным разработчикам ПО? Что в этой теме первично: нормативка или технологии?
3. Какие варианты решения есть уже сейчас и куда надо двигаться дальше, их особенности и необходимость организации ЕПД.
Зал «Оптика», 13:00-15:20
Воркшоп «Технологии сбора данных»
Модератор: Сергей Дуда, ИСП РАН
Сергей Водопетов1
1 ИСП РАН
Фактор достоверности и методы управления им при сборе не структурированных публичных данных
Анастасия Антонова1
Применение методики ТРИЗ к новостной предметной области
Владимир Лазарев1
1 ИСП РАН
Система управления заданиями автоматизированного сбора данных из сети Интернет
Александр Кустенков1
1 ИСП РАН
Извлечение информации из новостных веб-страниц, содержащих множество записей
Максим Варламов1
1 ИСП РАН
NewsXLM: Мультиязычный набор данных и модель для извлечения информации из новостных веб-страниц
Сергей Дуда1
1 ИСП РАН
Инструмент визуального проектирования сборщиковПавел Бедрин1
1 ИСП РАН
Актуальные подходы к автоматизации сбора и извлечения информации из Интернета на основе LLM
Кофе-брейк
Зал «Оптика», 16:00-19:00
Круглый стол по вопросам образования в области системного программирования и кибербезопасности
Модератор: Александр Гетьман, ИСП РАН
Среда, 10 декабря 2025
Регистрация, приветственный кофе. Продолжение работы выставки технологий ИСП РАН и компаний-партнёров
Зал «Молекула», 10:00-19:00
Секция «Технологии анализа, моделирования и трансформации программ»
Модераторы: Андрей Белеванцев, Александр Петренко, Валерий Игнатьев (ИСП РАН)
Максим Маслов1
1 Байкал Электроникс
Стек системного ПО для процессоров Baikal AI
Мурад Нейман-Заде1, Александр Ермолицкий1, Дмитрий Левченко1>
1 ЗАО «МЦСТ»
Компиляторные оптимизации для процессоров «Эльбрус», требующие версионирования/инструментирования кода
Юрий Грибов1
1 Российский исследовательский институт
Вызовы в ΑΙ-компиляторах
Виталий Чепцов1, Игорь Бурдонов1, Александр Петренко1, Алексей Хорошилов1
1 ИСП РАН
Семейство операционных систем КЛОС
Петр Девянин1, Вадим Горбатов1, Арсений Трубников1
1 ООО «РусБИТех-Астра»
Подход к применению мандатного контроля целостности в ОС Astra Linux для управления доступом к пользовательским данным
Награждение призёров Третьего всероссийского соревнования по формальной верификации программ VeHa-2025
Кофе-брейк
Дмитрий Дроздов1, Станислав Михалкович1
1 Южный федеральный университет
Архитектурный подход к быстрой кросс-языковой навигации по связанным сущностям в программных проектах
Андрей Стоян1
1 НИУ ВШЭ
Escape-анализ с экзистенциальными метками времени жизни
Александр Баташев1
1 НГУ им. Лобачевского
TMDL: язык описания архитектур для генерации формальных моделей и компиляторных инструментов
Максим Костин1, Павел Довгалюк2, Дмитрий Полетаев1, Георгий Тейс1, Наталья Фурсова1
1 ИСП РАН, 2 Новгородский государственный университет
Оптимизация передачи управления в полносистемных эмуляторах
Никита Бородавко1, Валерий Игнатьев1,2
1 ИСП РАН, 2 МГУ им. Ломоносова
Повышение полноты статического анализа использующих фреймворки приложений методом генерации эквивалентного кода
Артём Фартыгин1,2, Алексей Бородин2, Варвара Дворцова2, Виталий Афанасьев2, Артемий Галустов2, Андрей Белеванцев2,3
1 МФТИ, 2 ИСП РАН, 3 МГУ им. Ломоносова
Построение графа вызовов для анализа программ
Вацловас Киселюс1,2
1 ИСП РАН, 2 МГУ им. Ломоносова
Классификация результатов статического анализа методами машинного обучения
Людовикос Нерсисян1, Дживан Акопян1, Севак Саргсян1
1 Исследовательский центр CAST, Армения
Защита моделей ИИ с применением продвинутых методов обфускации
Кофе-брейк
Пётр Советов1, Кирилл Павлов1
1 РТУ МИРЭА
Брус-16: Практика совместного проектирования аппаратной архитектуры и программного инструментария
Ксения Ханевская1,2, Ульяна Тяжкороб1,2, Валерий Игнатьев1,3
1 ИСП РАН, 2 МФТИ, 3 МГУ им. Ломоносова
Поиск модификаций коллекции во время её перечисления в исходном коде на языке C# методами статического анализа
Андрей Тимонин1,2, Кирилл Чибисов1, Рубен Бучацкий1
1 ИСП РАН, 2 МФТИ
Использование LLM при генерации тестовых наборов для оценки статических анализаторов
Вячеслав Ковалевский1, Валерий Кечин1, Александр Янин1, Владимир Ицыксон1
1 ИТМО
Легковесная проверка согласованности файловой системы после сбоев с помощью дифференциального фаззинга
Владислав Мирошников1, Ольга Бачище2, Илья Кузнецов1, Александр Платонов2, Николай Тропин1
1 СпбГУ, 2 ИТМО
Платформа непрерывного мониторинга для клиент-серверной IDE на Python
Иван Миленин1, Владимир Ицыксон1
1 ИТМО
Автоматизация портирования Android-приложений в экосистему HarmonyOS NEXT с использованием формальных спецификаций
Тимофей Межуев1,2, Дарья Парыгина2, Даниил Куц1
1ИСП РАН, 2 МГУ им. Ломоносова
Направленный фаззинг для Rust и Go с LibAFL-DiFuzz
Сергей Старолетов1
1 АлтГТУ
Уроки эволюции С-кода и шаблоны архитектуры реального времени на основе проекта ioquake3
Иван Зинин1, Вячеслав Черноног1
1 МФТИ
Версионирование кода как развитие оптимизации распространения констант
Полина Рагозина1, Михаил Беляев1, Валерий Игнатьев1,2
1 ИСП РАН, 2 МГУ им. Ломоносова
Поиск ошибок в исходном коде на C# на основе статического анализа помеченных данных
Екатерина Караваева1, Леон Кулигин1, Людмила Резуник1, Дмитрий Александров 1
1 НИУ ВШЭ
Рефакторинг исходного кода на базе LLM и расширения UML
Зал «Физика», 10:00-18:10
День безопасной разработки ПО
АРПП «Отечественный софт» совместно с ИСП РАН
Открытие конференции
Ренат Лашин, исполнительный директор АРПП «Отечественный софт»
Арутюн Аветисян, директор ИСП РАН
Ирина Гефнер1
1 заместитель начальника управления ФСТЭК России
Основные направления совершенствования системы сертификации ФСТЭК России
Елена Маньжова1
1 представитель органа по сертификации ИСП РАН
Унификация регламентов РБПО
Константин Крючков1
1 руководитель продукта AppSec.Track AppSec Solutions
Возможно ли построить безопасный и контролируемый репозиторий, и сколько стоит его поддерживать?
Илья Смит1
1 начальник отдела разработки инструментов превентивного анализа ПАО «Банк ПСБ»
Автоматизация проверок программного обеспечения на недекларированные возможности
Кофе-брейк
Сергей Волков1
1 директор центра Киберзащиты Cloud.ru
Построение аттестованного объекта информатизации под ключ на базе Cloud.ru Evolution Stack
Борис Изюмов1
1 руководитель по развитию АНО «Консорциум технологической независимости ИПО»
Консорциум Технологической Независимости Индустриального ПО: рекомендации безопасной разработки и проект доверенного репозитория
Александр Уланов1
1 корпоративный архитектор VK Tech
Платформа для процессов DevSecOps
Мария Шеховцова1
1 руководитель группы архитектуры и анализа безопасной разработки Positive Technologies
Способы снижения ложных срабатываний при статическом анализе кода и проверке сторонних компонент
Игорь Игнатьев1
1 руководитель направления защиты приложений VK Tech
Опыт реализации ASOC самообслуживания при внедрении безопасной разработки в big-tech компании
Оксана Гаврилова1
1 лидер направления «ИТ в Фармацевтики» передовой инженерной школы МГУ им. Ломоносова, участник ИЦК «Химия и Фармацевтика»
Требования к безопасному программному обеспечению для высокорегулируемых отраслей на примере фармацевтической и авиационной сфер: взгляд с другой стороны
Антон Михайлов1
1 владелец продукта SASTAV ShiftLeft Security
Эволюция Application security: правильной ли дорогой идем, товарищи?
Сас Арустамян1
1 директор центра оценки соответствия и тестирования АО «НПО «Эшелон»
РБПО как общая ответственность: внедрение культуры безопасности во всей организации
Кофе-брейк
Дмитрий Павлов1
1 начальник отдела цифровой надежности ПО управление доверенных ИТ-сервисов АО «Гринатом»
Как мы строили ПРБПО и выжили: практика внедрения безопасной разработки в Гринатоме
Никита Щиенко1
1 java – разработчик, владелец продуктовой команды OpenBPM «Хоулмонт»
OpenBPM: технологические и организационные проблемы локализации инфраструктурных программных решений на примере BPM-движка
Андрей Миняев1, Андрей Аверин2
1 руководитель центра информационной безопасности Digital Design, 2 старший инженер по информационной безопасности Digital Design
Алексей Захаров1
1 директор по технологическому консалтингу Axiom JDK
Верификация критических участков кода реализации замкнутой программной среды в Axiom JDK Certified
Алексей Смирнов1
1 основатель CodeScoring
Большие обманы Open Source: обзор популярных атак на цепочку поставки
Подведение итогов
Зал «Кинетика», 10:00-18:40
Секция «Управление данными и информационные системы»
Владимир Кореньков1
1 ОИЯИ
Распределенные вычисления и интеллектуальный анализ данных для крупных научных проектов
Никита Киселёв1, Владислав Мешков1, Андрей Грабовой1
1 МФТИ
Устойчивая сходимость поверхности функции потерь через усреднение по распределению
Александр Гущин1,2, Анастасия Анциферова1,2, Дмитрий Ватолин1,2
1 МГУ им. М.В. Ломоносова, 2 ИСП РАН
AnAT: Состязательное дообучение с использованием якорей для метрик оценки качества изображений
Кирилл Малышев1, Иван Молодецких2, Дмитрий Ватолин3
1 ИСП РАН, 2 МГУ им. М.В. Ломоносова, 3 Университет Иннополис
Применение состязательных атак для локализованной генерации артефактов суперразрешения
Иван Молодецких1,2, Кирилл Малышев1, Марк Миргалеев1, Евгений Богатырев1, Никита Загайнов3, Дмитрий Ватолин1
1 МГУ им. М.В. Ломоносова, 2 Центр искусственного интеллекта, 3 Университет Иннополис
Методология детектирования артефактов нейросетевого суперразрешения изображений с учётом заметности
Кофе-брейк
Евгений Богатырев1, Артем Борисов1, Олег Рябинин1, Иван Молодецких1, Дмитрий Ватолин1
1 МГУ им. М.В. Ломоносова
Методология формирования датасетов и анализа качества видео после применения методов сверхразрешения
Анастасия Анциферова1,2, Екатерина Шумицкая1,2, Дмитрий Ватолин1,2
1 МГУ им. М.В. Ломоносова, 2 ИСП РАН
Использование уязвимостей стохастического рандомизированного сглаживания в регрессионных моделях: анализ адаптивных атак и эмпирических ограничений
Денис Лазарев1, Александр Шокуров1, Стас Фомин1
1 ИСП РАН
Использование аугментации при обучении на некомплектной выборке
Анна Зверева1, Андрей Грабовой1, Мариам Каприелова1
1 МФТИ
Подход к воспроизводимому анализу согласованности данных нейровизуализации с использованием открытых программных средств
Михаил Иванченко1
1 НИИ биологии старения ННГУ
Гибридные квантово-классические нейросети для классификации опухолей мозга по МРТ
Антонина Мельникова1, Марина Воробьева1, Анна Глазкова1, Дмитрий Морозов2
1 ТюмГУ, 2 НГУ
Экспериментальное исследование моделей на основе инструкций для извлечения предметно-ориентированных сущностей из студенческих отчетов
Ильдар Хабутдинов1, Андрей Грабовой1, Юрий Чехович1, Александр Кильдяков2, Андрей Ивахненко2
1 МФТИ, 2 ИПУ РАН
Исправление грамматических ошибок на уровне подслов: универсальный подход
Кофе-брейк
Владислав Кирячёк1, Солтан Салпагаров1
1 РУДН
Обнаружение аномалий по логам компьютерных систем с использованием методов машинного обучения с частичным привлечением учителя и обработки естественного языка
Никита Думкин1
1 НИУ ВШЭ
Адаптивное восстановление фрагментов видеопотока на основе машинного обучения с учётом динамики сцены
Константин Новиковский
Оценка производительности и анализ распределённых многоагентных алгоритмов оптимизации с разрежённой направленной коммуникацией
Виктор Тимашков1
1 УЦСБ
Мультиагентный подход к автоматизации правил для статического анализа кода
Никита Цаплин1, Александр Петров2, Дмитрий Ковалёв3
1 ИПМ им.М.В.Келдыша РАН, 2 ИПУ РАН, 3 ФИЦ ИУ РАН
Адаптивные методы и средства поверхностного анализа пакетов для обнаружения аномалий в зашифрованном трафике
Анастасия Никольская1, Дмитрий Рыболовлев1
1 ИСП РАН
Вопросы формализации состязательных атак с ограничениями в области анализа сетевого трафика
Иван Проскуряков1, Давид Бадалян1
1 ИСП РАН
Анализ и оптимизация задержек видеотрансляции удалённых рабочих столов
Ирина Алексеевская1, Константин Архипенко2
1 ИСП РАН, 2 Лаборатория Касперского
Атака «побег из тюрьмы» для больших языковых моделей путем мягкого перефразирования вредоносных запросов
Зал «Архангельск», 10:00-18:00
Секция «Решение задач механики сплошных сред с использованием СПО»
Модератор: Андрей Епихин, ИСП РАН
Артем Сухов1,2, Александр Петров1,2
1 ИСП РАН, 2 ИПМех РАН
Программная реализация метода каскадного расчёта силовых характеристик гребных винтов
Юлия Силакова1
1 ВЦ ДВО РАН
Построение местной гидродинамической модели потока через переливную запруду Пемзенская реки Амур
Игорь Потапов1, Петров Александр2
1 ВЦ ДВО РАН, 2 ИПМех РАН
Автомодельность в задачах донных деформаций
Артем Нуриев1, Вадим Анисимов1
1 КФУ
Моделирование гидродинамики виброробота в вязкой несжимаемой жидкости в программном комплексе OpenFOAM
Алена Чернова1
1 ИжГТУ им. М.Т. Калашникова
Особенности топологии ближнего следа аэровзвеси за телами простой формы
Александр Кухарский1
1 ИСП РАН
Применение REEF3D в задачах размытия донной поверхности вблизи гидротехнических сооружений
Кофе-брейк
Модератор: Дарья Романова, ИСП РАН
Елена Корнаева1
1 Университет Иннополис
Стратегии обучения физически информированных нейронных сетей для решения задачи течения неньютоновких жидкостей в кольцевом канале
Алина Гречнева1, Вячеслав Тарасов1, Дмитрий Тархов1, Анатолий Шатров1
1 Институт физики и математики СПбПУ
Исследование математической модели процесса окисления ионов аммония
Андрей Кулинский1, Сергей Стрижак1
1 ИСП РАН
Физически-информированная нейронная сеть для решения системы уравнений Навье – Стокса и моделирования течения жидкости в трещинах
Модератор: Артем Нуриев, КФУ
Алексей Сурнин1, Алёна Чернова1
1 ИжГТУ им. М.Т. Калашникова
ИжГТУ им. М.Т. Калашникова
Сергей Стрижак1, Константин Кошелев1, Андрей Осипов1
1 ИСП РАН
Математическое моделирование процесса обледенения изолятора ЛЭП
Исматоло Хайталиев1
1 МАДИ
Моделирование течения гетерогенной смеси на основе квазигазодинамической модели
Исмагилов Дамир1, Артем Нуриев1, Гумеров Наиль1
1 КФУ
Реализация численной модели плавания рыбы в OpenFOAM
Егор Павлов1
1 ИСП РАН
Численное моделирование флотации с применением OpenFOAM
Кофе-брейк
Модератор: Андрей Епихин, ИСП РАН
Кирилл Колобов1
1 ВЦ ДВО РАН
Опыт применения s-hull метода для построения невыпуклых триангуляций
Илья Марчевский1, Дубинина Ольга1, Серебровская Екатерина1
1 МГТУ им. Н.Э.Баумана
Быстрые вычислительные алгоритмы для решения вспомогательных задач при моделировании плоских течений вихревыми методами
Степан Елистратов1, Иван Бут1, Ильяс Сибгатуллин1
1 ИСП РАН
Априорная оценка интенсивности вторичных волн в задачах с волновыми аттракторами с использованием машинного обучения
Андрей Попов1
1 МГТУ им. Н.Э.Баумана
Трехмерное моделирование течений вязких несжимаемых жидкостей методом PFEM-2 с использованием технологии CUDA
Александра Колганова1, Евгения Рятина1
1 МГТУ им. Н.Э.Баумана
Реализация быстрых алгоритмов на CPU и GPU для моделирования двумерных течений методами вихревых частиц
Мария Фролова1, Евгений Михайлов2
1 МГУ им. М.В. Ломоносова, 2 ФИАН
Закрытие секции, общее обсуждение
Лекторий «Оптика», 10:00-17:20
Секция «САПР микроэлектронной аппаратуры»
Пленарная сессия
Модератор: Александр Камкин, ИСП РАН
Антон Седов1, Дмитрий Тельпухов2
1 АО «МНТЦ МИЭТ», 2 ООО «Альфачип»
Демонстрация первого отечественного маршрута проектирования цифровых СБИС в единой проектной среде
Ян Чуркин1
1 ИСП РАН
Развитие системы статического анализа SystemVerilog: новые подходы и текущие результаты
Александр Жданов1
1 ФГУП «НИИ «Квант»
Генеративный искусственный интеллект в проектировании СБИС
Денис Щепетов1
1 ФИЦ ИУ РАН
Исследование возможностей инструментов автоматического синтеза топологии аналоговых ИС
Кофе-брейк
Искусственный интеллект в САПР СБИС
Модератор: Михаил Лебедев, ИСП РАН, РЭУ им. Г.В. Плеханова
Александр Камкин1
1 ИСП РАН
Создание демонстратора технологии интеллектуального синтеза цифровых СБИС с применением методов машинного обучения
Илья Козмин1, Михаил Лебедев1,2, Вероника Бурдельная2, Искандер Валиахметов2, Андрей Сергеев2, Никита Поудиал2, Даниил Петренко2, Юлия Щекотихина2, Алексей Солин2
1 ИСП РАН, 2 РЭУ им. Г.В. Плеханова
Разработка прогнозирующей модели этапа логического синтеза и средств автоматической настройки параметров автоматизированного синтеза цифровых СБИС
Никита Желудков1, Юлия Кулемина1
1 НИЦ «Курчатовский институт» — НИИСИ
Оценка паразитной емкости цепей и быстродействия блока СБИС с помощью машинного обучения на этапе размещения
Разные задачи проектирования СБИС
Модератор: Михаил Чупилко, ИСП РАН
Владимир Винарский1, Александр Американов1, Лариса Евтушенко1, Ирина Романова1, Евгений Лежнев1
1 НИУ ВШЭ
Разработка виртуальной инфраструктуры для удаленного доступа к лабораторному оборудованию
Арман Егиазарян1,2, Ян Чуркин1, Артём Коцыняк1, Рубен Бучацкий1, Александр Камкин1, Илья Чернявских1,3, Константин Китаев2, Андрей Коршунов4, Алексей Переверзев4
1 ИСП РАН, 2 МФТИ, 3 НИУ ВШЭ, 4 АО «МНТЦ МИЭТ»
Статический анализ модели подсистемы питания цифровой аппаратуры
Дмитрий Булах1, Андрей Коршунов1, Дарья Рыжова1, Екатерина Зубарева1, Иван Салахов1, Илья Швец1
1 АО «МНТЦ МИЭТ»
Решение задачи предобработки данных для изготовления фотошаблонов методом электронно-лучевой литографии
Никита Вологжанин1, Антон Гаращенко1, Ирина Голубева1
1 НИУ МИЭТ
Математические основы и перспективы применения нейронного оператора Фурье для ускорения моделирования фотолитографии при производстве
Максим Ратников1
1 МАИ
Оценка эффективности по критерию трудоемкости применения тестовых систем на основе генераторов конвейеризированных контрольных кодов
Кофе-брейк
Логическое проектирование СБИС
Модератор: Сергей Смолов, ИСП РАН
Илья Чернявских1,2, Артём Коцыняк1, Александр Камкин1
1 ИСП РАН, 2 НИУ ВШЭ
Анализ CDC и RDC в маршруте разработки микроэлектроники
Павел Емельянов1
1 ИСИ им. А.П. Ершова СО РАН
Декомпозиция Ашенхёрста для таблично заданных булевых функций
Дарья Рыжова1, Владислав Касаткин2
1 НИЦ «Курчатовский институт», 2 НИУ МИЭТ
Поиск максимального взвешенного независимого набора вершин на гиперграфе логических ограничений
Анастасия Курганская1,2
1 ИСП РАН, 2 НИУ ВШЭ
Оптимизация энергопотребления цифровых СБИС на логическом уровне
Максим Вершков1,2
1 ИСП РАН, 2 НИУ ВШЭ
Оптимизация на этапе логического синтеза: расширение метода итеративной замены подсхем
Переговорная «Солнце», 10:00-19:00
Секция «Лингвистические системы анализа»
Модератор: Юлия Норманская, ИСП РАН
Мария Безенова1,2
1 УдмФИЦ УрО РАН
Цифровизация как способ сохранения удмуртского языка
Виктория Воробьева1
1 ТПУ, 2 ИСП РАН
Времена вах-васюганского хантыйского: новая перспектива (на основе корпуса LingvoDoc Lab)
Фануза Нуриева1,2, Гульшат Галиуллина2, Айрат Юсупов2
1 КФУ, 2 ИСП РАН
Рукописные словари Йоганна Эберхарда Фишера (1725) как источник для изучения истории татарских диалектов
Сергей Ковылин1
1 ИСП РАН
Рефлексы самодийских *j-: k-, tʲ- / čʲ- и *-ŋk-: *-ŋq-, -qq- в селькупских диалектах
Фануза Нуриева1,2, Ильзия Хисматуллина2
1 КФУ, 2 ИСП РАН
Отражение фонетических особенностей говора жителей села Варна Челябинской области в дневниковых записях татарина-казака Ибрагима Махмутова (1878-1916 гг.)
Кофе-брейк
Денис Догадушкин1
1 ИСП РАН
Влияние экономических циклов на распад и исчезновения языков
Римма Муратова1
1 ИИЯЛИ УФИЦ РАН
Названия для мясного бульона и супа в тюркских и финно-угорских языках Урало-Поволжья
Дарья Сазонова1, Алиса Есипова1
1 ИЯз РАН
Графосемиотические модели деривационных аффиксов [+(Ы)ш], [+(Ы)г], [+(Ы)К], [+ГЫ], [+ГЫш] (на материале шорского языка)
Оксана Гончарова1, Анна Липатова2, Галина Напреенко3
1 РУДН, 2 КФУ, 3 КемГУ
Социальное конструирование медиаобраза феномена «искусственного интеллекта» в российских новостных Telegram-каналах
Шончалай Таргын1
1 ТувГУ
Морфологические особенности в языках Южной Сибири на платформе ЛингвоДок (на материале акциональности и аспектуальных форм)
Юлия Норманская1,2, Денис Догадушкин3,2, Лиза Катарина3,2
1 ИЯз РАН, 2 ИСП РАН, 3 Сипола
Сохранение реликтов уральского парадигматического ударкния в современном северо-западном марийском
Ксения Найденова1, Татьяна Мартирова1, 2
1 Военно-медицинская академия имени С.М.Кирова, Елена Булыкина2 СПбПУ
Сравнительный анализ порождения глагольного эллипсиса большими языковыми моделями (LLMs) и человеком
Никита Кильмишкин1, Дмитрий Кубраков1, Юрий Титов1, Владимир Игоревич1, Татьяна Куропаткина1, Наталия Кочина1, Полина Иванова1
1 РЭУ им. Г.В. Плеханова
Исследование кластеризации эмбеддингов для поиска парафраз в текстах инструкций по медицинскому применению лекарственных средств
Кофе-брейк
Людмила Макарова1, Илья Померанцев1, Сергей Камнев1, Даниил Буйлов1
1 ННГУ им. Н.И. Лобачевского
Конвейер проверки достоверности утверждения на базе технологии генеративного ИИ как инструмент верификации СМИ и социальных медиа
Оксана Гончарова1,2
1 РУДН, 2 ИСП РАН
Автоматизация обработки речевого сигнала: аннотация и акустический анализ гласных в русском языке
Дорош Мишель1, Валентин Малых2
1 ИТМО
Обнаружение человеческих правок в русскоязычных сгенерированных научных текстах
Дмитрий Яценко1
1 ИВТиПТ ЮФУ
Совмещение динамических характеристик почерка и современного сверточного бэкбона ConvNeXtV2 для распознавания рукописных символов на русскоязычных и англоязычных датасетах
Тимур Ионов1,2, Валентин Малых1,2
1 МВС ИИ, 2 ИТМО
RFCB: Бенчмарк вызова функций для русского языка
Олеся Долматова1
1 ПГУ
Возможности больших языковых моделей при анализе тональности русских парфюмерных потребительских отзывов с неочевидной оценкой
Ирина Гузева1
1 РУДН
Оптимизация аннотирования корпусов малоресурсных языков с применением мультимодальных данных и методов машинного обучения
Ксения Найденова1, Елена Булыкина2
1 Военно-медицинская академия имени С.М.Кирова, 2 СПбПУ
Когнитивный подход к резолюции некоторых типов именных эллипсисов
Александр Марков1
1 РУДН
Автоматизированная генерация поисковых запросов для SML-аналитики: сравнение zero-shot, few-shot и агентского подходов на базе LLM
Технологии анализа, моделирования и трансформации программ
Секция посвящена методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ и др. В частности, рассматриваются следующие темы:
- Обратная инженерия бинарного (исполняемого) кода.
- Выполнение программ в контролируемом окружении.
- Поиск ошибок и уязвимостей в исполняемом коде.
- Анализ сетевого трафика.
- Оптимизации в компиляторе и генерация кода.
- Статический и динамический анализ программ.
- Методы и инструменты анализа и тестирования программ.
- Запутывание программ (обфускация).
Управление данными и информационные системы
Секция посвящена вопросам разработки современных методов и систем хранения и анализа больших данных – текстовых, графовых, мультимедийных, научных и др. В частности, рассматриваются следующие темы:
- Интеллектуальный анализ данных и извлечение знаний.
- Математическая теория и методы машинного обучения и искусственного интеллекта.
- Математические модели процессов и явлений реального мира.
- Компьютерная лингвистика, анализ и понимание текстов на естественном языке.
- Анализ социальных сетей, хранение и анализ больших графов.
- Обработка сигналов и анализ изображений.
- Анализ контента, созданного пользователями Интернета.
- Информационный поиск, рекомендательные системы.
- Онтологии и базы знаний.
- Информационные системы и технологии.
- Масштабируемые алгоритмы анализа данных.
- Прикладные задачи анализа данных.
- Очистка данных, интеграция разнородных данных, дедупликация данных.
- Инфраструктура для хранения и обработки больших объемов данных.
- Ключевые технологии создания частных и гибридных облаков.
- Высокопроизводительные вычисления и другие облачные сервисы.
- Экосистема хранения и обработки больших массивов данных.
- Распределенные базы данных и технологии Data/Web Mining.
- Программные платформы интернета вещей.
- Динамическая балансировка нагрузки в эластичных облаках.
- Планирование потока задач в облачных центрах обработки данных.
- Оркестрация с использованием стандарта OASIS TOSCA.
Решение задач механики сплошных сред с использованием СПО
Секция предназначена для обмена опытом по созданию свободного ПО для решения задач механики сплошных сред (OpenFOAM, Salome, ParaView, DAKOTA и др.) и сравнения полученных разработок с коммерческими аналогами. В частности, рассматриваются следующие темы:
- Моделирование турбулентных течений.
- Решение сопряженных задачи теплообмена.
- Прикладные задачи гидродинамики, газодинамики, аэродинамики.
- Разработка собственных решателей и библиотек.
- Научная визуализация и обработка численных результатов.
- Вопросы обучения на базе открытых пакетов.
САПР микроэлектронной аппаратуры
Секция посвящена вопросам разработки САПР микроэлектронной аппаратуры, а также вопросам использования открытых (open source) решений в реальных проектах. Среди рассматриваемых тем:
- Открытые маршруты проектирования СБИС.
- Высокоуровневый синтез и проектирование на системном уровне.
- Проектирование на уровне регистровых передач.
- Логический синтез (логическая оптимизация и технологическое отображение).
- Физический синтез (размещение и трассировка).
- Проектирование аналоговых и СВЧ-схем.
- Имитационная и формальная верификация.
- Автоматизация разработки гетерогенных компьютерных систем.
Лингвистические системы анализа
Секция посвящена методам компьютерного анализа языкового материала с точки зрения фонетических, морфологических, семантических и синтаксических особенностей, а также возможностям сравнения языков и диалектных данных с точки зрения генетического и ареального сходства. Основные темы:
- Анализ правильности транскрипции с точки зрения анализа аудиозаписей речи в экспериментально-фонетических программах.
- Выявление морфологических особенностей, правил семантики употребления морфем с помощью специальных программ.
- Анализ семантики слов в разных языках с точки зрения генетической и ареальной близости.
- Обсчет генетической близости диалектов и языков по фонетическим изменениям.
- Создание корпусов текстов и обработка их с помощью программ анализа сочетаемости слов.
Воркшоп «Системы доверенного искусственного интеллекта»
Круглый стол «Цифровая медицина»
Блок «Разработка безопасного ПО»
Круглый стол «Cистемное программирование в высшем образовании: состояние и перспективы»
С участием представителей МФТИ, МГУ им. Ломоносова, ВШЭ, Альяс RISC V, Postgres Professional, Kaspersky, 1C, СБЕР.
Круглый стол посвящён вопросам образования в области системного программирования и кибербезопасности. К обсуждению предлагаются вопросы актуальности существующих образовательных стандартов и их реализации на практике на всех этапах высшего образования начиная с бакалавриата и заканчивая аспирантурой и дополнительным профессиональным образованием. Будут затронуты особенности набора абитуриентов и преподавания предметов из указанных областей со стороны ВУЗов, а также опыту взаимодействия с «заказчиками» специалистов в этих областях — государственных и коммерческих компаний. В частности, будет рассмотрен вопрос скорости погружения студентов в практические задачи, возникающие при этом сложности и необходимая степень интеграции ВУЗа и «заказчика» для оптимизации этого процесса.
Основные темы, предлагаемые к обсуждению в рамках круглого стола:
- интересы и проблемы участников высшего образования: абитуриентов, студентов, преподавателей и администрации, представителей базовых кафедр и организаций, предоставляющих возможность прохождения практики;
- сильные/слабые стороны и проблемы преподавания предметов системного программирования;
- особенности нового направления «Кибербезопасность» по сравнению с классическим системным программированием и его позиционирование по отношению к близкой области ИБ;
- обсуждение уровня высшего образования, на котором стоит начинать подготовку специалистов по новому направлению.
