О конференции

Конференция проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) при поддержке ряда российских и зарубежных партнеров.

Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки информационных технологий и их использования в сферах образования, науки и промышленности.

Каждый год на конференцию собираются эксперты отечественных и зарубежных научных и образовательных организаций, представители ведущих IT-компаний, а также исследователи, чьи работы прошли независимое профессиональное рецензирование. Проводится также выставка технологий ИСП РАН, внедренных в различные отрасли промышленности.

Для удобства гостей и участников конференция разделена на несколько тематических секций (см. ниже). Кроме того, в рамках мероприятия состоится круглый стол «Цифровая медицина», а также пройдёт ряд встреч по вопросам анализа программ с ограниченным числом участников.



Четверг, 1 декабря 2022 года

8:30 - 09:30

Регистрация, кофе/чай

09:30 - 10:30

Открытие конференции, пленарная сессия (Синий зал)

К участию приглашены: руководство РАН, члены Правительства РФ, а также представители отраслевых НИИ, научно-образовательных организаций и бизнес-партнёров ИСП РАН.

10:30 - 11:30

Выставка технологий (Фойе). Кофе/чай

14:00 - 15:00

Обед-фуршет (Зимний сад)


Красный зал. Секция «Лингвистические системы анализа»

11:30 - 11:50

Виктория Воробьева1,2, Ирина Новицкая2

1 ИСП РАН, 2 Томский государственный университет

Анализ моделей валентности глаголов движения в ваховском хантыйском с помощью Lingvodoc

11:50 - 12:10

Андрей Грабовой1,2, Кирилл Гращенков3,1,2, Ильдар Хабутдинов1,2

1 МФТИ, 2 «Антиплагиат», 3 Институт океанологии им. П.П. Ширшова РАН

Мультиязычная суммаризация научных текстов

12:10 - 12:30

Ольга Донина1

1 Воронежский государственный университет

Использование методов Data Mining для сравнения вариантов английского языка

12:30 - 12:50

Рамиля Каримова1

1 Институт истории, языка и литературы УФИЦ РАН

Фольклорные материалы А.Г. Бессонова как языковедческое наследие XIX века для исследования на платформе Lingvodoc

12:50 - 13:10

Мария Левина1

1 Мордовский государственный университет им. Н.П. Огарёва

Категория притяжательности в мокшанском диалектном ареале

13:10 - 13:30

Юлия Норманская1

1 ИСП РАН

Важность первых книг на уральских и алтайских языках

13:30 - 13:50

Фануза Нуриева1, Гульшат Галиуллина1, Айрат Юсупов1

1 Казанский федеральный университет

Перспективы исследования татарского языка на основе платформы Lingvodoc

13:50 - 14:10

Марианна Самсонова1

1 Северо-Восточный федеральный университет им. М.К. Аммосова

Создание словарей топонимов на платформе Lingvodoc: основные принципы номинации в якутских гидронимах

14:10 - 15:00

Обед-фуршет (Зимний сад)

15:00 - 15:20

Ильдар Хабутдинов 1,2, Артем Чащин2, Андрей Грабовой1,2, Олег Бахтеев3,1,2, Александр Кильдяков2, Юрий Чехович3,2

1 МФТИ, 2 «Антиплагиат», 3 ВЦ им. А.А. Дородницына ФИЦ ИУ РАН

RuGECToR: нейросетевая модель на основе правил для исправления грамматических ошибок на русском языке

15:20 - 15:40

Идалия Федотова1,2

1 НИУ ВШЭ, 2 ИСП РАН

Возможности платформы Lingvodoc для исследования генетической и ареальной полисемии: обско-угорская базисная лексика

15:40 - 18:00

Доклады по итогам мастер-класса по изучению Lingvodoc. Участвуют представители СВФУ, Калмыцкого научного центра РАН, Обско-угорского института прикладных исследований и разработок, Института истории, языка и литературы УФИЦ РАН.


Бежевый зал. Секция «Управление данными и информационные системы»

11:30 - 11:50

Максим Горюнов1, Александр Гетьман2, Дмитрий Рыболовлев1, Андрей Мацкевич1

1 Академия ФСО, 2 ИСП РАН

Сравнение системы обнаружения вторжений на основе машинного обучения с сигнатурными средствами защиты информации

11:50 - 12:10

Виктор Щербаков1, Владимир Майоров1

1 ИСП РАН

Обучение BERT на частично размеченных данных для задачи извлечения именованных сущностей

12:10 - 12:30

Алексей Якушев1, Юрий Маркин1, Дмитрий Обыденков1, Александр Фролов1, Стас Фомин1, Манук Акопян1, Александр Козачок2, Артур Гайнов3

1 ИСП РАН, 2 Академия ФСО, 2 Министерство обороны РФ

Docmarking: маркирование изображений документов на экране в режиме реального времени

12:30 - 12:50

Александра Борисова1, Олег Борисенко1

1 ИСП РАН

Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA

12:50 - 13:00

Перерыв

13:00 - 13:20

Тимур Исмагилов1, Анатолий Мукосей1, Александр Пирюгин1, Александр Семенов1

1 АО «НИЦЭВТ»

Прототипная реализация поддержки распределенных технологий глубокого обучения для сети Ангара при помощи коммуникационной библиотеки OpenMPI через UCX

13:20 - 13:40

Максим Варламов1, Денис Галанин1, Павел Бедрин1, Сергей Дуда1, Владимир Лазарев1, Александр Яцков1

1 ИСП РАН

Набор данных для извлечения информации из новостных веб-страниц

13:40 - 14:00

Александр Варнавский1

1 НИУ ВШЭ

Ансамбль логистических регрессионных моделей для настроек параметров голоса виртуального педагогического агента

14:00 - 15:00

Обед-фуршет (Зимний сад)

15:00 - 15:20

Андрей Михайлов1,2

1 Институт динамики систем и теории управления им. В.М. Матросова СО РАН, 2 ИСП РАН

Автоматическая разметка данных для сегментации изображений документов с использованием глубоких нейронных сетей

15:20 - 15:40

Ксения Петрушина1, Олег Бахтеев1, Андрей Грабовой1, Вадим Стрижов1

1 МФТИ

Антидистилляция: перенос знаний от простой модели к более сложной

15:40 - 16:00

Кирилл Лукьянов1, Михаил Дробышевский1, Данил Шайхелисламов1, Денис Турдаков1

1 ИСП РАН

Графовые нейронные сети для сбора целевых вершин в социальных графах


Синий зал. Разработка доверенного ПО: встречи, презентации, мастер-класс

11:15 - 14:00

Встреча сообщества разработчиков доверенного ПО (вход по спискам). Основные темы:

  • Деятельность и перспективы центров компетенций по исследованию безопасности ядра Linux, критических компонентов и др. с учетом требований к сертификационным испытаниям.
  • Привлечение образовательных учреждений к деятельности центров компетенций, обмен методиками и практиками безопасной разработки.
  • Отчетные презентации программных продуктов ИСП РАН: Natch, Svace, ИСП Crusher и Sydr.

14:00 - 14:30

Обед-фуршет (Зимний сад)

14:30 - 16:00

Мастер-класс Natch (инструмент определения поверхности атаки)

16:00 - 16:30

Перерыв

16:30 - 18:00

Встреча участников центра по анализу критических компонентов, итерация работ по анализу .NET6 и nodejs


Зелёный зал. Круглый стол «Цифровая медицина» и Секция «Решение задач механики сплошных сред с использованием СПО»

11:30 - 14:00

Круглый стол «Цифровая медицина»

Модератор:

Ю.Э. Терегулов. Заведующий отделением Республиканской Клинической Больницы Министерства здравоохранения Республики Татарстан, врач функциональной диагностики, д.м.н.

Участники:

Т.М. Газашвили. Руководитель центра инструментальной диагностики ГБУЗ ГКБ №67 им Л.А. Ворохобова Департамента здравооохранения г. Москвы.
Д.В. Дроздов. И.о. руководителя лаборатории ЭКГ отдела новых методов ФГБУ «НМИЦК им. академика Е.И.Чазова».
В.П. Ефимова. Врач функциональной диагностики высшей квалификационной категории, заведующая отделением функциональной диагностики ГКБ им. В.В. Виноградова, к.м.н.
В.А. Макаров. Руководитель лаборатории медицинской информатики Новгородского государственного университета имени Ярослава Мудрого, к.т.н.
А.Ф. Сафарова. Профессор кафедры внутренних болезней с курсом кардиологии и функциональной диагностики МИ ФГАОУ ВО «Российский университет дружбы народов», врач высшей категории, главный специалист по функциональной диагностике ЮЗАО, д.м.н.
М.И. Секачева. Директор Института персонализированной онкологии Сеченовского университета, профессор.
А.В. Скальный. Директор Центра биоэлементологии и экологии человека Сеченовского университета.
Р.И. Туишев. Директор ГАУ РТ «Диспетчерский центр Министерства здравоохранения Республики Татарстан».
Л.М. Червяков. Директор НЦМУ «ЦБиПЗ» ИКТИ РАН, д.т.н, профессор.
Д.В. Шутов. Руководитель проекта ГБУЗ «НПКЦ ДиТ ДЗМ».
А.Ю. Юровский. Президент ООО «АТЕС МЕДИКА СОФТ».

14:00 - 15:00

Обед-фуршет (Зимний сад)

15:00

Секция «Решение задач механики сплошных сред с использованием СПО»

15:00 - 15:20

Софья Орлова1, Андрей Епихин1, Иван Бут1, Александр Кухарский1, Алексей Морозов2

1 ИСП РАН, 2 МФТИ

Разработка трехмерных средств моделирования обледенения в различных условиях

15:20 - 15:40

Константин Кошелев1, Андрей Осипов1, Сергей Стрижак1

1 ИСП РАН

Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы

15:40 - 16:00

Евгения Рятина1, Илья Марчевский1,2, Александра Колганова1,2

1 МГТУ им. Н.Э. Баумана, 2 ИСП РАН

Решение граничного интегрального уравнения в вихревых методах с использованием гибридного алгоритма Барнса-Хата/мультиполей

16:00 - 16:20

Павел Тимош1, Игорь Потапов1

1 Вычислительный центр ДВО РАН

О решении одной задачи мелкой воды методом центральных разностей и коррекцией FCT

16:20 - 16:40

Перерыв

16:40 - 17:00

Александр Иванов1

1 Институт прикладной математики им. М.В. Келдыша РАН

Разработка нового решателя OpenFOAM для моделирования мелкой воды с использованием фреймворка QGDSolver

17:00 - 17:20

Мария Кирюшина1, Татьяна Елизарова2

1 Институт прикладной математики им. М.В. Келдыша РАН, 2 ИСП РАН

Сравнение эффективности решателей OpenFOAM и индивидуального исследовательского кода на примере решения тестовой задачи

17:20 - 17:40

Александр Шемахин1, Виктор Желтухин1

1 Казанский федеральный университет

Математическое моделирование потока ВЧ-плазмы пониженного давления с использованием библиотек пакета OpenFOAM

17:40 - 18:00

Степан Елистратов1, Артем Третьяков1, Ильяс Сибгатуллин1

1 ИСП РАН

Анализ когерентных структур волновых режимов стратифицированной жидкости с помощью комплексного метода главных компонент

Пятница, 2 декабря 2022

9:00 - 10:00

Регистрация. Кофе/чай (Зимний сад)

13:00 - 14:00

Обед-фуршет (Зимний сад)


Красный зал. Секция «САПР микроэлектронной аппаратуры»

09:30 - 11:30

Пленарная сессия. Программа уточняется (Минпромторг, «Байкал», НИИСИ РАН, ИППМ РАН)

11:30 - 12:00

Перерыв


Тема: «Открытые маршруты проектирования и верификации»
12:00 - 12:30

Георгий Лукьянченко1, Александр Монахов1, Михаил Уманский1, Сергей Елизаров1

1 ООО «Мальт систем»

Разработка СнК с ПЛИС в открытых инструментах

12:30 - 13:00

Михаил Уманский1, Георгий Лукьянченко1, Александр Монахов1, Елена Черных1

1 ООО «Мальт систем»

Возможности использования открытых инструментов для автоматизации адаптации PDK к маршруту OpenLane

13:00 - 14:00

Обед-фуршет (Зимний сад)

14:00 - 14:30

Федор Путря1, Антон Гаращенко1, Дарья Лашина1, Святослав Никитин1, Булат Цыренжапов1, Артём Николаев1, Евгений Прокопьев1

1 АО НПЦ «Элвис»

Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле


Тема: «Автоматизация проектирования на разных уровнях»
14:30 - 15:00

Сергей Смолов1,2, Александр Камкин1,2, Михаил Лебедев1,2, Михаил Чупилко1,2, Георги Гайдаджиев3,2

1 ИСП РАН, 2 РЭУ им. Г.В. Плеханова, 3 Гронингенский университет

Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры

15:00 - 15:30

М. Лебедев1,2

1 ИСП РАН, 2 РЭУ им. Г.В. Плеханова

Сравнение алгоритмов статического планирования для потоковых вычислительных графов

15:30 - 16:00

Перерыв

16:00 - 16:30

Михаил Шеблаев1, Родион Ерохин1

1 МГУ им. М.В. Ломоносова

Арифметические операции в коде Грея для передачи данных между доменами синхронизации

16:30 - 17:00

Арина Можжухина1

1 Научно-производственный комплекс «Технологический центр»

Применение искусственного интеллекта в разработке САПР на этапе физического проектирования


Бежевый зал. Воркшоп «Системы доверенного искусственного интеллекта»

10:00 - 18:00

К участию приглашены сотрудники и партнеры Исследовательского центра доверенного искусственного интеллекта ИСП РАН.


Синий зал. Секция «Технологии анализа, моделирования и трансформации программ»

10:00 - 10:30

Илья Афанасьев1, Илья Палачев1

1 Исследовательский Центр Samsung

UDLC: гетерогенный компилятор, основанный на MLIR

10:30 - 10:55

Владимир Фролов1, Вадим Санжаров2, Владимир Галактионов1

1 ИПМ им. М.В. Келдыша РАН, 2 МГУ им. М.В. Ломоносова

Kernel_slicer: высокоуровневый подход к разработке поверх API

10:55 - 11:20

Сергей Миронов1, Инна Батраева1, Павел Дунаев1

1 Саратовский государственный университет

Библиотека для разработки компиляторов

11:20 - 11:40

Перерыв

11:40 - 12:05

Артемий Галустов1, Алексей Бородин1, Андрей Белеванцев1

1 ИСП РАН

Девиртуализация для статического анализа с низкоуровневым промежуточным представлением

12:05 - 12:30

Никита Шимчик1, Валерий Игнатьев1, Андрей Белеванцев1

1 ИСП РАН

Irbis: статический анализ помеченных данных для поиска уязвимостей в программах на C/C++

12:30 - 12:55

Алексей Бородин1, Варвара Дворцова1, Александр Волков1

1 ИСП РАН

Межпроцедурный статический анализ языка Go с поддержкой замыканий

13:00 - 14:00

Обед-фуршет (Зимний сад)

14:00 - 14:25

Владислав Степанов1, Павел Довгалюк1, Мария Климушенкова1, Наталья Фурсова1, Иван Васильев1, Аркадий Иванов1, Алексей Иванов1, Максим Бакулин1, Данила Егоров1

1 ИСП РАН

Natch: Определение поверхности атаки с помощью отслеживания помеченных данных и интроспекции виртуальных машин

14:25 - 14:50

Алексей Вишняков1, Даниил Куц1, Влада Логунова1, Дарья Парыгина1, Илай Кобрин1, Георгий Савидов1, Андрей Федотов1

1 ИСП РАН

Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для безопасного цикла разработки ПО

14:50 - 15:15

Севак Саргсян1, Дживан Хакобян1, Людовикос Нерсисян1, Карен Саргсян1

1 Российско-Армянский университет

Повышение эффективности фаззинга за счет извлеченных констант

15:15 - 15:30

Перерыв

15:30 - 16:00

Андрей Височан1

1 Исследовательский Центр Samsung

Генерация профилей оптимизации для приложений Андроид Method с использованием машинного обучения

16:00 - 16:25

Данила Михальцов1, Константин Сорокин1

1 ИСП РАН

Обнаружение аномальных нагрузок на устройство во время исследовательского тестирования мобильных приложений

16:25 - 16:50

Петр Борисов1, Юрий Косолапов 1

1 ФГАНУ НИИ «Спецвузавтоматика», 2 Южный федеральный университет

Способ оценки похожести программ методами машинного обучения

16:50 - 17:10

Перерыв

17:10 - 17:35

Иван Шарков1

1 ИСП РАН

Метод восстановления протокольных автоматов по бинарному коду

17:35 - 18:00

Чан Ти Тхиен1, Дмитрий Пономарев2, Андрей Кузнецов2

1 ИСП РАН, 2 «ФОБОС-НТ»

Исследования по автоматической генерации фаззинг-оберток для функций программных библиотек


Зелёный зал. Секция «Решение задач механики сплошных сред с использованием СПО»

10:00 - 10:20

Алена Чернова1, Борис Бендерский1

1 ИжГТУ им. М.Т. Калашникова

Турбулентные течения газа в каналах различных форм поперечного сечения с массоподводом

10:20 - 10:40

Андрей Махнов1,2, Елизавета Колесник1, Александр Смирновский1, Елена Бабич1, Даниил Осадчий1

1 СПбПУ, 2 ФТИ им. А.Ф. Иоффе РАН

Применимость нескольких открытых программных кодов для решения задач динамики сжимаемого газа

10:40 - 11:00

Артем Нуриев1, Ольга Зайцева 1

1 Казанский федеральный университет

Численное моделирование пропульсивного движения машущего крыла круглого сечения

11:00 - 11:40

Перерыв, стендовая сессия (фойе)

11:40 - 12:00

Сергей Стрижак1

1 ИСП РАН

Физически-обоснованная нейронная сеть для моделирования течения Коважного

12:00 - 12:20

Елена Амосова1,2, Кирилл Кузнецов2, Виталий Лемешев2

1 ИПМ ДВО РАН, 2 ДВФУ

Математическое моделирование гидродинамических процессов в прибрежных акваториях Японского моря

12:20 - 12:40

Андрей Епихин1, Игорь Потапов2, Александр Петров3, Андрей Бритов1

1 ИСП РАН, 2 ВЦ ДО РАН, 3 ИПМех РАН

Разработка прототипа программного модуля для расчета размыва донной поверхности

12:40 - 13:00

Дарья Романова1, Маргарита Эглит2

1 ИСП РАН, 2 МГУ им. М.В. Ломоносова

Захват донного материала в трехмерном моделировании течений на склонах гор в открытом решателе avalancheFoam

13:00 - 14:00

Обед-фуршет (Зимний сад), стендовая сессия (фойе)

14:00 - 14:20

Менгфей Вон1, Квин Ху1, Квин Жэнь 1,2, Андрей Епихин3, Бинчен Лянь1,2

1 Китайский Университет океана, 2 Лаборатория инженерии океана провинции Шандонг, 3 ИСП РАН

Сравнительный анализ воздействия гребного винта различной конфигурации на вертикальную стену

14:20 - 14:40

Хинью Вон1, Квин Жэнь1, Инфан Квин1, Тяньюань Вон1, Жишень Квин1, Андрей Епихин2

1 Китайский Университет океана, 2 ИСП РАН

Анализ спутного следа за подводной лодкой DARPA с учетом работы семилопастного гребного винта винта

14:40 - 15:00

Александр Петров1, Артем Сухов1, Ильяс Сибгатуллин1, Андрей Бритов1

1 ИПМех РАН, 2 ИСП РАН

Аналитические и численные методы вычисления аэродинамических коэффициентов профиля Жуковского

15:00 - 15:20

Андрей Бритов1, Андрей Епихин1, Александр Петров1, Артем Сухов1

1 ИСП РАН, 2 ИПМех РАН

Численное моделирование гидродинамики гребного винта с использованием платформы OpenFOAM

15:20 - 15:40

Айрат Камалутдинов1, Артем Нуриев2

1 Казанский национальный исследовательский технический университет им. А.Н. Туполева, 2 Казанский федеральный университет

Об изменении гидродинамического воздействия на конструкцию из двух колеблющихся пластин

15:40 - 16:20

Перерыв, стендовая сессия (фойе)

16:20 - 16:40

Сергей Фецов1, Ксения Боровик2

1 Дальневосточный федеральный университет, 2 Институт автоматики и процессов управления ДВО РАН

О новом OpenFOAM-решателе для моделирования тепловых аккумуляторов на основе гранулированных материалов с фазовыми переходами

16:40 - 17:00

Елена Байметова1, Михаил Хвалько1, Алексей Армянин1

1 ИжГТУ им. М.Т. Калашникова

Моделирование сопряженного теплообмена в микроканалах в среде OpenFOAM

17:00 - 17:20

Ульяна Гордеева1, Феликс Шарипов1

1 МГТУ им. Н.Э. Баумана, 2 Федеральный университет Параны, Бразилия

Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис

17:20 - 17:40

Дискуссия


Доклады стендовой сессии

Сергей Мартыненко1, Павел Токталиев1, Сергей Дорофеенко1, Александр Молоканов1, Павел Семенёв2

1 Институт проблем химической физики РАН, 2 МГТУ им. Н.Э. Баумана

Вычислительные технологии для решения задач механики сплошных сред

Сергей Григорьев1, Мария Королева2, Ольга Мищенкова1

1 ИжГТУ им. М.Т. Калашникова, 2 Удмуртский федеральный исследовательский центр УрО РАН

Особенности численного моделирования работы воздушно-тепловой завесы в openFOAM

Ксения Боровик1, Сергей Фецов1

1 Дальневосточный федеральный университет

О разработке курса «Решение прикладных задач в пакете OpenFOAM»

Екатерина Митрюкова1

1 ИжГТУ им. М.Т. Калашникова

Параметрические исследования течений в микросоплах

Дарья Романова1

1 ИСП РАН

Турбулентная модель на основе нейронной сети с тензорным базисом

Ирина Коробова1,2

1 ИСП РАН, 2 МГТУ им. Н.Э. Баумана

Применение метода главных компонент в моделях пониженной размерности и анализа численных результатов

Мария Королева1

1 ИжГТУ им. М.Т. Калашникова

Метод определения коэффициента диффузии динамической сетки

Программный комитет

Руководящий комитет

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Гарбук С.В., к.т.н., директор по научным проектам НИУ ВШЭ.
  • Каляев И.А., д.т.н., академик РАН, научный руководитель направления НИИ многопроцессорных вычислительных систем ЮФУ.
  • Лютиков В.С., заместитель директора ФСТЭК России.
  • Федосов Е.А., д.т.н., академик РАН, научный руководитель ФГУП «ГосНИИАС».
  • Аржанцев И.В., д.ф-м.н., декан Факультета компьютерных наук ВШЭ.
  • Погосян М.А., академик РАН, д.т.н., ректор Московского авиационного института (МАИ).
  • Райгородский А.М., д.ф.-м.н., директор Физтех-школы прикладной математики и информатики МФТИ.
  • Рубанов В.В., к.ф.м.-н., главный технический директор (CTO) по разработке программного обеспечения Huawei R&D Russia.

Организационный комитет

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  • Волков Д.В., «Открытые системы», ИПМ им. М.В. Келдыша РАН.
  • Прохоров С.П., к.ф.-м.н., председатель российского отделения IEEE Computer Society.

Программные комитеты секций

I. Технологии анализа, моделирования и трансформации программ.

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Белеванцев А.А., д.ф.-м.н., руководитель направления анализа и оптимизации программ ИСП РАН.
  • Волконский В.Ю., к.т.н., АО МЦСТ.
  • Гайсарян С.С., к.ф.-м.н., заведующий отделом компиляторных технологий ИСП РАН.
  • Девянин П.Н., научный руководитель ГК «Astra Linux».
  • Дроздов А.Ю., д.т.н., РЭПИ ФРТК МФТИ.
  • Козачок А.В., д.т.н., сотрудник Академии ФСО России, заведующий Лабораторией системного программирования в Орле.
  • Макаров В.А., к.т.н., ИТиС НовГУ, заведующий Лабораторией системного программирования в Великом Новгороде.
  • Якушкин С.И., руководитель направления компиляторов Huawei R&D Russia.
  • Мельник Д.М., ИСП РАН.
  • Падарян В.А., к.ф.-м.н., руководитель направления обратной инженерии бинарного кода ИСП РАН.
  • Петренко А.К., д.ф.-м.н., заведующий отделом технологий программирования ИСП РАН.
  • Курмангалеев Ш.Ф., к.ф.-м.н., ИСП РАН.

II. Управление данными и информационные системы.

  • Турдаков Д.Ю., к.ф.-м.н., заведующий отделом информационных систем ИСП РАН.
  • Лукашевич Н.В., д.т.н., НИВЦ МГУ.
  • Усталов Д.А., к.ф.-м.н., «Яндекс».
  • Кузнецов С.Д., д.ф.-м.н., ИСП РАН.
  • Коршунов А.В., к.ф.-м.н., Quantum.uk.
  • Астраханцев Н.А., к.ф.-м.н., Microsoft.
  • Лизоркин Д.А., к.ф.-м.н., Google.
  • Добров Б.В., к.ф.-м.н., НИВЦ МГУ.
  • Тутубалина Е.В., к.ф.-м.н., КФУ.
  • Черных А.Н., к.т.н., профессор компьютерных наук в CICESE Research Center (Мексика).
  • Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  • Соченков И.В., к.ф.-м.-н., ФИЦ ИУ РАН.

III. Решение задач механики сплошных сред с использованием СПО.

  • Марчевский И.К., к.ф.-м.н., МГТУ им. Н.Э. Баумана.
  • Нуриев А.Н., к.ф.-м.н., Институт математики и механики им. Н. И. Лобачевского.
  • Сибгатуллин И.Н., к.ф.-м.н., ИСП РАН; ИО РАН.
  • Чашечкин Ю.Д., д.ф.-м.н., ИПМех РАН.
  • Щеглов Г.А., д.т.н., МГТУ им. Н.Э.Баумана.
  • Стрижак С.В., к.т.н., ИСП РАН.
  • Якобовский М.В., член-корр. РАН, д.ф.-м.н., ИПМ им. М.В. Келдыша РАН.
  • Елизарова Т.Г., д.ф.-м.н., ИПМ им. М.В. Келдыша РАН.
  • Терехов К.М., к.ф.-м.н., ИВМ РАН.
  • Епихин А.С., к.т.н., ИСП РАН.

IV. САПР микроэлектронной аппаратуры.

  • Камкин Александр Сергеевич, в.н.с. ИСП РАН, к.ф.-м.н.
  • Аряшев Сергей Иванович, заместитель директора НИИСИ РАН, к.т.н.
  • Гаврилов Сергей Витальевич, директор ИППМ РАН, д.т.н.
  • Петров Константин Александрович, заместитель заведующего отделением НИИСИ РАН, к.т.н.
  • Романов Александр Юрьевич, доцент МИЭМ НИУ ВШЭ, к.т.н.
  • Тельпухов Дмитрий Владимирович, заместитель директора ИППМ РАН, д.т.н.
  • Чупилко Михаил Михайлович, с.н.с. ИСП РАН, к.ф.-м.н.

Организаторы и партнеры

Регистрация


Допуск на встречу разработчиков доверенного ПО будет осуществляться в соответствии с заранее сформированным списком по предъявлению удостоверяющего личность документа.

Публикации


Для выступления на Открытой конференции ИСП РАН им. В.П. Иванникова необходимо прислать статью или тезисы доклада, отражающие результаты проделанной работы. На рассмотрение принимаются оригинальные материалы на русском и английском языках, ранее не представленные на других конференциях. Статьи и тезисы подаются через интернет-систему EasyChair.


Правила подачи статей

Все представленные статьи проходят двойное слепое рецензирование. При подаче материала необходимо исключить любую информацию об авторах. Заголовок не должен содержать их имен, адресов электронной почты и названий организаций. В тексте нужно убрать все прямые ссылки на предыдущие работы авторов.

Оформление статей должно быть выполнено в одном из двух форматов (на выбор авторов):

1. Статьи на русском языке объемом 8-20 страниц оформляются в соответствии с требованиями к материалам для сборника «Труды ИСП РАН».

2. Статьи на английском языке объемом 3-7 страниц оформляются в соответствии с шаблоном IEEE для трудов конференций или в соответствии с требованиями сборника «Труды ИСП РАН».

Работы, получившие положительные отзывы экспертов и представленные на конференции одним из авторов, публикуются в одном из следующих сборников:

  • «Proceedings of Ivannikov ISPRAS Open Conference»;
  • «Труды ИСП РАН» (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156), который индексируется в РИНЦ, Google Scholar и др., включен в Russian Science Citation Index (RSCI) на платформе Web of Science, а также входит в перечень ВАК.

Окончательное решение о выборе издания для размещения публикации принимает Программный комитет Открытой конференции. Изначальный формат оформления при этом не учитывается. Авторы принятой статьи должны подготовить ее окончательную версию в соответствующем формате с учетом всех замечаний экспертов.

Заочное участие в конференции не допускается.


Правила подачи тезисов

Тезисы подаются на рецензирование в том случае, если планируется сделать доклад о начальных или промежуточных результатах незавершенного научного исследования, о ходе реализации проекта или об опыте внедрения технологии.

Тезисы необходимо представить на русском языке. Требуемый объем – 3 страницы, оформление – в соответствии с требованиями сборника «Труды ИСП РАН».

Авторы, получившие положительные отзывы, смогут выступить на Открытой конференции. Публикация тезисов не предусмотрена.

В случае возникновения дополнительных вопросов, пожалуйста, напишите письмо на адрес электронной почты scsec@ispras.ru.


Важные даты

  • Срок подачи статей: до 7 ноября 2022 г. (23:59, GMT+3).
  • Уведомление о включении в программу: до 20 ноября 2022 г.
  • Готовые к публикации статьи: до 8 декабря 2022 г. (для сборника IEEE), до 11 декабря 2022 г. (для "Трудов ИСП РАН")
  • Регистрация участников: до 24 ноября 2022 г. (23:59, GMT+3)


Конференция проводится при финансовой поддержке Министерства науки и высшего образования РФ, соглашение № 075-15-2022-294 от 15 апреля 2022 г.

Прошедшие конференции


2021, 2020, 2019, 2018, 2017, 2016, 2015 (1, 2), 2014, 2013, 2012, 2011, 2010

Контакты и другая информация

E-mail и телефон

По всем вопросам, связанным с участием, можно обращаться по e-mail scsec@ispras.ru или по телефону +7(495) 912-44-25.

Адрес места проведения

Москва, Ленинский проспект, дом 32А (подъезд 1, этаж 3, Синий, Зеленый, Бежевый и Красный залы).

Детали

Конференция проводится с 9:00 до 18:00. Для гостей и участников предусмотрены кофе-брейки и обед.