О конференции
Открытая конференция ИСП РАН проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук при поддержке ряда российских и зарубежных партнёров. В 2024 г. конференция посвящена 30-летию ИСП РАН, который был основан крупным советским и российским учёным В.П. Иванниковым 25 января 1994 года.
Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки информационных технологий и их использования в сферах образования, науки и промышленности.
Участники: эксперты отечественных и зарубежных научных и образовательных организаций, представители ведущих ИТ-компаний и государственных ведомств. Участие бесплатное как для слушателей, так и для докладчиков.
В рамках конференции проводится выставка технологий ИСП РАН, внедрённых в различные отрасли промышленности. К участию приглашаются также партнёрские организации.
Конференция проводится при финансовой поддержке Министерства науки и высшего образования РФ, соглашение № 075-15-2022-294 от 15 апреля 2022 г.
Коротко о конференции 2023 года
Программа конференции
Программа формируется.
Среда, 11 декабря 2024 года
Регистрация, начало работы выставки технологий ИСП РАН и компаний-партнёров
Обед-фуршет
Кофе-брейк
Пленарная сессия с участием руководителей РАН, ведущих компаний, вузов и государственных ведомств
Секция «Разработка безопасного ПО: качество, доверие, сообщество»
Воркшоп «Системы доверенного искусственного интеллекта»
Секция «Системы управления базами данных»
Секция «Решение задач механики сплошных сред с использованием СПО»
Секция «Лингвистические системы анализа»
Круглый стол «Цифровая медицина»
Круглый стол «Цифровое будущее государственного сектора: суверенитет, экономика, технологии» (совместно с РАНХиГС)
Четверг, 12 декабря 2024
Регистрация, продолжение работы выставки технологий ИСП РАН и компаний-партнёров
Обед-фуршет
Кофе-брейк
Круглый стол «Cистемное программирование в высшем образовании: состояние и перспективы»
Секция «Технологии анализа, моделирования и трансформации программ»
Секция «Управление данными и информационные системы»
Секция «САПР микроэлектронной аппаратуры»
Секция «Российский open source: разработка библиотек в сфере ИИ» (совместно с Фондом содействия инновациям)
Секция «Решение задач механики сплошных сред с использованием СПО»
Технологии анализа, моделирования и трансформации программ
Секция посвящена методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ и др. В частности, рассматриваются следующие темы:
- Обратная инженерия бинарного (исполняемого) кода.
- Выполнение программ в контролируемом окружении.
- Поиск ошибок и уязвимостей в исполняемом коде.
- Анализ сетевого трафика.
- Оптимизации в компиляторе и генерация кода.
- Статический и динамический анализ программ.
- Методы и инструменты анализа и тестирования программ.
- Запутывание программ (обфускация).
Управление данными и информационные системы
Секция посвящена вопросам разработки современных методов и систем хранения и анализа больших данных – текстовых, графовых, мультимедийных, научных и др. В частности, рассматриваются следующие темы:
- Интеллектуальный анализ данных и извлечение знаний.
- Математическая теория и методы машинного обучения и искусственного интеллекта.
- Математические модели процессов и явлений реального мира.
- Компьютерная лингвистика, анализ и понимание текстов на естественном языке.
- Анализ социальных сетей, хранение и анализ больших графов.
- Обработка сигналов и анализ изображений.
- Анализ контента, созданного пользователями Интернета.
- Информационный поиск, рекомендательные системы.
- Онтологии и базы знаний.
- Информационные системы и технологии.
- Масштабируемые алгоритмы анализа данных.
- Прикладные задачи анализа данных.
- Очистка данных, интеграция разнородных данных, дедупликация данных.
- Инфраструктура для хранения и обработки больших объемов данных.
- Ключевые технологии создания частных и гибридных облаков.
- Высокопроизводительные вычисления и другие облачные сервисы.
- Экосистема хранения и обработки больших массивов данных.
- Распределенные базы данных и технологии Data/Web Mining.
- Программные платформы интернета вещей.
- Динамическая балансировка нагрузки в эластичных облаках.
- Планирование потока задач в облачных центрах обработки данных.
- Оркестрация с использованием стандарта OASIS TOSCA.
Решение задач механики сплошных сред с использованием СПО
Секция предназначена для обмена опытом по созданию свободного ПО для решения задач механики сплошных сред (OpenFOAM, Salome, ParaView, DAKOTA и др.) и сравнения полученных разработок с коммерческими аналогами. В частности, рассматриваются следующие темы:
- Моделирование турбулентных течений.
- Решение сопряженных задачи теплообмена.
- Прикладные задачи гидродинамики, газодинамики, аэродинамики.
- Разработка собственных решателей и библиотек.
- Научная визуализация и обработка численных результатов.
- Вопросы обучения на базе открытых пакетов.
САПР микроэлектронной аппаратуры
Секция посвящена вопросам разработки САПР микроэлектронной аппаратуры, а также вопросам использования открытых (open source) решений в реальных проектах. Среди рассматриваемых тем:
- Открытые маршруты проектирования СБИС.
- Высокоуровневый синтез и проектирование на системном уровне.
- Проектирование на уровне регистровых передач.
- Логический синтез (логическая оптимизация и технологическое отображение).
- Физический синтез (размещение и трассировка).
- Проектирование аналоговых и СВЧ-схем.
- Имитационная и формальная верификация.
- Автоматизация разработки гетерогенных компьютерных систем.
Лингвистические системы анализа
Секция посвящена методам компьютерного анализа языкового материала с точки зрения фонетических, морфологических, семантических и синтаксических особенностей, а также возможностям сравнения языков и диалектных данных с точки зрения генетического и ареального сходства. Основные темы:
- Анализ правильности транскрипции с точки зрения анализа аудиозаписей речи в экспериментально-фонетических программах.
- Выявление морфологических особенностей, правил семантики употребления морфем с помощью специальных программ.
- Анализ семантики слов в разных языках с точки зрения генетической и ареальной близости.
- Обсчет генетической близости диалектов и языков по фонетическим изменениям.
- Создание корпусов текстов и обработка их с помощью программ анализа сочетаемости слов.
