Открытая конференция ИСП РАН
им. В.П. Иванникова

В 2020 году конференция была частично проведена в онлайн-режиме.

Три секции научных докладов и Выставка технологий полностью прошли в онлайне. В РАН состоялись мероприятия с ограниченным числом докладчиков:

• Пленарная сессия (10 декабря, 9:30-12:00).
• Круглый стол по цифровой медицине (10 декабря, 13:00-15:30).
• Круглый стол по кибербезопасности (10 декабря, 16:00-18:30).

Видеозаписи научных докладов в трех секциях:

• Технологии анализа, моделирования и трансформации программ (10 декабря, 11 декабря)
• Управление данными и информационные системы (11 декабря)
• Решение задач механики сплошных сред с использованием СПО (10 декабря, 11 декабря)

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

Перед началом пленарной сессии

• 00:00:50 – 00:11:54 Арутюн Аветисян, академик РАН, директор ИСП РАН.
• 00:12:28 – 00:22:04 Андрей Белеванцев, руководитель направления анализа и оптимизации программ ИСП РАН.
• 00:22:24 – 00:26:17 Видеопрезентация ИСП РАН.

Пленарная сессия

• 00:27:45 – 00:34:26 Валерий Козлов, вице-президент РАН.
• 00:36:09 – 00:40:52 Григорий Трубников, академик РАН, директор Объединенного института ядерных исследований (ОИЯИ).
• 00:41:15 – 01:02:40 Арутюн Аветисян, академик РАН, директор ИСП РАН.
• 01:02:55 – 01:04:57 Александр Шойтов, президент Академии криптографии РФ.
• 01:05:17 – 01:09:53 Деннис Цикритзис, почетный профессор Женевского университета.
• 01:10:08 – 01:20:09 Алексей Семенов, академик РАН, завкафедрой математической логики и теории алгоритмов МГУ.
• 01:20:39 – 01:25:52 Василий Козачок, заместитель начальника Академии ФСО.
• 01:26:05 – 01:32:04 Михаил Погосян, академик РАН, ректор МАИ.
• 01:33:17 – 01:45:07 Владимир Бетелин, академик РАН, научный руководитель ФГУ ФНЦ НИИСИ РАН.
• 01:46:52 – 01:51:14 Игорь Каляев, академик РАН, научный руководитель направления ЮФУ.
• 01:52:05 – 02:01:03 Гарегин Тосунян, академик РАН, президент Ассоциации российских банков.
• 02:02:36 – 02:07:28 Владимир Клименко, генеральный директор ЗАО «Перспективный мониторинг».
• 02:08:12 – 02:15:56 Владимир Рубанов, главный технический директор по разработке программного обеспечения Huawei R&D Russia.
• 02:20:10 – 02:27:42 Юлия Викторовна Норманская, старший научный сотрудник Института языкознания РАН.
• 02:28:41 – 02:33:31 Владимир Макаров, руководитель лаборатории системного программирования в Великом Новгороде.
• 02:33:34 – 02:35:38 Александр Козачок, руководитель лаборатории системного программирования в Орле.
• 02:35:39 – 02:37:05 Севак Саргсян, руководитель лаборатории системного программирования в Ереване.
• 02:37:41 – 02:48:29 Владимир Кореньков, директор Лаборатории информационных технологий Объединенного института ядерных исследований (ОИЯИ).
• 02:49:08 – 03:08:17 Воспоминания о В.П. Иванникове.
  Деян Миложичич, ведущий сотрудник Hewlett Packard Labs, президент IEEE Computer Society 2014 г.
  Виктор Шнитман, заведующий отделом архитектуры вычислительных систем ИСП РАН.
  Ефим Гринкруг, заместитель завкафедрой системного программирования НИУ ВШЭ.
  Сергей Гайсарян, заведующий отделом компиляторных технологий ИСП РАН.
  Игорь Петров, заведующий кафедрой МФТИ.
  Александр Шананин, заведующий кафедрой МФТИ.
  Александр Петренко, заведующий отделом технологий программирования ИСП РАН.
  Александр Томилин, ведущий научный сотрудник ИСП РАН.
  Владимир Воеводин, директор НИВЦ МГУ.
  Ассаф Шустер, профессор Израильского технологического института «Технион».
  Деннис Цикритзис, почётный профессор Женевского университета.
  Рубен Топчян, директор Национального центра обеспечения качества профессионального образования (Армения).
  Андрей Черных, профессор научно-исследовательского центра CICESE (Мексика).
  Юрий Шукурян, вице-президент Национальной академии наук (Армения).

• 03:08:26 – 03:13:30 Арутюн Аветисян, академик РАН, директор ИСП РАН. Заключительное слово.

Перерыв

• 03:14:11 – 03:21:02 Владимир Рубанов, главный технический директор по разработке программного обеспечения Huawei R&D Russia.
• 03:21:47 – 03:29:52 Дмитрий Пономарев, технический директор НТЦ «Фобос-НТ».
• 03:30:32 – 03:39:05 Евгений Карпулевич, руководитель биомедицинской группы ИСП РАН.

Круглый стол по медицине

• 03:39:21 – 03:42:27 Арутюн Аветисян, академик РАН, директор ИСП РАН. Вступительное слово.
• 03:42:30 – 03:44:29 Симон Мацкеплишвили, заместитель директора по научной работе Университетской клиники МГУ им. М.В. Ломоносова. Вступительное слово.
• 03:44:32 – 03:51:17 Петр Тимашев, директор Научно-технологического парка биомедицины Первого МГМУ им. И.М. Сеченова. Создание научного центра мирового уровня «Цифровой биодизайн и персонализированное здравоохранение».
• 03:52:44 – 04:13:29 Тимур Фатхудинов, заместитель директора по научному развитию ФГБНУ НИИ морфологии человека. Платформизация научных исследований.
• 04:13:47 – 04:23:05 Павел Волчков, директор Института персонализированной медицины НМИЦ эндокринологии Минздрава РФ. Создание научного центра мирового уровня.
• 04:23:45 – 04:40:18 Игорь Коган, директор НИИ акушерства, гинекологии и репродуктологии им. Д.О. Отта. Проблемы цифровизации в медицинской научной организации.
• 04:44:44 – 05:00:10 Дмитрий Каратеев, профессор кафедры терапии ФУВ МОНИКИ им. В.Ф. Владимирского. Большие данные в ревматологии.
• 05:08:50 – 05:19:56 Тамара Газашвили, руководитель центра инструментальной диагностики ГКБ №67 им. Л.А. Ворохобова. IT-центр ЭКГ.
• 05:24:02 – 05:35:17 Андрей Пирогов, врач-кардиолог. Развитие методики длительной регистрации ЭКГ.
• 05:38:08 – 05:46:02 Екатерина Иванникова, диетолог-эндокринолог, научный сотрудник НМИЦ эндокринологии Минздрава РФ. Система дистанционного контроля в практике диетолога-эндокринолога.
• 05:51:03 – 06:02:22 Сергей Субботин, советник по развитию информационных технологий НМХЦ им. Н.И. Пирогова Минздрава РФ. Акселератор решений для умной клиники.
• 06:03:33 – 06:15:30 Сергей Казимов, руководитель Центра реабилитации Медицинского центра «Медскан». Оцифровка функций человека как инструмент управления ресурсом здоровья работников интеллектуального труда.
• 06:16:07 – 06:25:25 Арутюн Аветисян, академик РАН, директор ИСП РАН. Заключительное слово.

Перерыв

• 06:26:13 – 06:33:37 Сергей Казимов, руководитель Центра реабилитации Медицинского центра «Медскан».
• 06:33:48 – 06:38:14 Екатерина Иванникова, диетолог-эндокринолог, научный сотрудник НМИЦ эндокринологии Минздрава России.

Запись трансляции круглого стола по кибербезопасности

• 00:00:00 – 00:01:10 Арутюн Аветисян, академик РАН, директор ИСП РАН. Вступительное слово.
• 00:01:10 – 00:10:39 Дмитрий Пономарёв, технический директор НТЦ «Фобос-НТ». Опыт внедрения SDL-практик в отечественных компаниях.
• 00:11:24 – 00:22:00 Марк Коренберг, технический директор компании Ideco. Сертификация IDECO UTM.
• 00:23:22 – 00:33:00 Василий Ксенофонтов, руководитель департамента разработки ПО компании «Аладдин Р.Д.». Безопасная разработка. Как это делается у нас.
• 00:33:33 – 00:53:15 Александр Белокрылов, генеральный директор компании «Беллсофт». Безопасность OpenJDK+. Особенности фаззинга JIT в Liberica JDK.
• 00:54:13 – 01:10:34 Никита Кислицин, директор департамента сетевой безопасности компании Group-IB. Threat Hunting Framework. Элементы SDL в продукте Group-IB THF.
• 01:12:08 – 01:26:50 Дмитрий Державин, руководитель отдела разработки защищенных решений департамента аналитики и разработки ПО компании «ИВК». Безопасная разработка ПО. Опыт компании «ИВК».
• 01:28:25 – 01:42:57 Дмитрий Задорожный, руководитель службы по сертификации, информационной безопасности и криптографии компании «Код безопасности». Внедрение безопасной разработки (SDL). Как внедрять и зачем?
• 01:44:09 – 01:58:38 Александр Печень, заведующий отделом математических методов квантовых технологий Математического института им. В.А. Стеклова РАН. Квантовые технологии для задач информационной безопасности.
• 02:00:08 – 02:22:51 Дмитрий Шмойлов, руководитель отдела безопасности программных продуктов «Лаборатории Касперского». SDLC практики и их применение в Kaspersky.
• 02:23:51 – 02:37:33 Иван Панченко, заместитель директора компании Postgres Professional. Опыт внедрения SDL-практик в Postgres Professional.
• 02:38:29 – 02:48:10 Арутюн Аветисян, академик РАН, директор ИСП РАН. Заключительное слово.
• 02:48:12 – 02:50:00 Дмитрий Пономарёв, технический директор НТЦ «Фобос-НТ». Заключительное слово.

Запись трансляции секции "Технологии анализа, моделирования и трансформации программ", 10 декабря

Модератор – д.ф.-м.н. Андрей Белеванцев (ИСП РАН)

Запись неполная

• 00:00:00 – 00:20:25 "Разработка компиляторов предметно-ориентированных языков для спецпроцессоров", Пётр Советов (РТУ МИРЭА)
• 00:21:30 – 00:46:29 "Подбор оптимизаций Clang для уменьшения размера бинарного кода с помощью машинного обучения", Александра Сорока (Исследовательский центр Samsung, Москва)
• 00:53:46 – 01:14:03 "Внедрение компилятором водяных знаков в бинарный код для обеспечения бинарной совместимости в дистрибутивах" GNU/Linux, Вячеслав Баринов, Михаил Кашкаров, Андрей Казмин (Исследовательский центр Samsung, Москва)
• 01:18:32 – 01:32:10 "Метод обеспечения качества автоматических анализаторов", Петр Привалов, Вероника Буткевич, Александр Герасимов, к.ф.-м.н., Сергей Владимиров, Анна Горелова, Наталья Чернова (Huawei, Россия)
• 01:37:40 – 02:02:32 "Формально верифицированная полная стратегия инстанциации квантификаторов для теории ограниченной линейной целочисленной арифметики", Рафаэль Садыков, Михаил Мандрыкин, к.ф.-м.н. (ИСП РАН)
• 02:23:18 – 03:09:12 "Путешествуя по вселенным теорий решателей Z3", Николай Бьорнер, главный научный сотрудник Microsoft Research, США
• 03:22:47 – 03:40:00 "Обеспечение безопасности загрузчика образов EDK II", Марвин Хаузер (технический университет Кайзерслаутерна, Германия), Виталий Чепцов (ИСП РАН)
• 03:45:14 – 04:07:50 "Обнаружение дефекта взаимной блокировки с помощью статического анализа", Сергей Поляков, Алексей Бородин, к.ф.-м.н. (ИСП РАН)

Запись трансляции секции "Технологии анализа, моделирования и трансформации программ", 11 декабря

Модератор – к.ф.-м.н. Вартан Падарян (ИСП РАН)

• 00:02:37 – 00:28:30 "Экспертная оценка результатов верификации инструментов верификации моделей программ", Евгений Новиков, к.ф.-м.н., Владимир Гратинский, Илья Захаров, к.ф.-м.н. (ИСП РАН)
• 00:37:25 – 01:01:50 "Описание методов и реализованных на их основе программных средств, позволяющих эмулировать UEFI модули", Денис Стражков. (ИСП РАН)
• 01:13:18 – 01:33:35 "Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017", Д.А. Рыболовлев, М.Н. Горюнов, А.Г. Мацкевич (Академия ФСО России)
• 01:39:20 – 01:59:20 "Sydr: передовой инструмент динамического символьного выполнения", Алексей Вишняков, Андрей Федотов, к.т.н., Даниил Куц, Александр Новиков, Дарья Парыгина, Илай Кобрин, Влада Логунова, Павел Белецкий, Шамиль Курмангалеев, к.ф.-м.н. (ИСП РАН)
• 02:06:31 – 02:35:18 "GΕΝΕS ISP — платформа для анализа программ", Севак Саргсян, к.ф.-м.н., Вааг Варданян, к.ф.-м.н., Айк Асланян, к.ф.-м.н., Мариам Арутюнян, Матевос Мерабьян, Карен Саргсян, Рипсиме Ованнесян, Ованнес Мовсисян, Дживан Акобян (Лаборатория системного программирования РАУ, Ереван); Шамиль Курмангалеев, к.ф.-м.н. (ИСП РАН)
• 02:39:22 – 03:01:37 "Практическая абстрактная интерпретация бинарного кода", Михаил Соловьев, к.ф.-м.н., Максим Бакулин, Сергей Макаров, Дмитрий Манушин, Вартан Падарян, к.ф.-м.н. (ИСП РАН)
• 03:10:10 – 03:47:43 "Моделирование технических и математических задач предметных областей знаний", Екатерина Лаврищева, д.ф.-м.н. (ИСП РАН)
• 03:48:20 – 04:13:12 "Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера", Сергей Козлов, к.т.н. (Академия ФСО); Сергей Копылов (Академия ФСО); Борис Кондратьев (Министерство обороны РФ); Дмитрий Обыденков (ИСП РАН)
• 04:19:33 – 04:38:38 "Архитектура и функциональные возможности инструмента ИСП Фаззер", Максим Мишечкин, Шамиль Курмангалеев, к.ф.-м.н., Виталий Акользин. (ИСП РАН)
• 04:45:14 – 05:09:06 "Разработка эффективного метода фаззинга приложений, работающих со сложными форматами данных", Виталий Акользин, Шамиль Курмангалеев, к.ф.-м.н., Максим Мишечкин (ИСП РАН)
• 05:16:56 – 05:29:19 "Автоматизированная генерация фаззинг тестов", Тхиен Чан, Шамиль Курмангалеев, к.ф.-м.н. (ИСП РАН)
• 05:30:48 – 05:54:50 "Модельный подход к обеспечению безопасности и надежности Web-сервисов", Сергей Зеленов, к.ф.-м.н., Екатерина Лаврищева, д.ф.-м.н. (ИСП РАН)

Запись трансляции секции "Управление данными и информационные системы", 11 декабря

Модератор – к.ф.-м.н. Денис Турдаков (ИСП РАН)

• 00:03:10 – 00:30:10 "Yandex Database Serverless — подход к виртуализации базы данных", Андрей Фомичев, руководитель службы «Яндекс»
• 00:43:35 – 01:17:00 "Обучение на графах с частичным привлечением учителя", Константин Авраченков (Исследовательский центр Inria Sophia Antipolis-Méditerranée)
• 01:21:08 – 01:56:09 "Аналитика в реальном времени, гибридная транзакционно-аналитическая обработка данных, управление данными в основной памяти и энергонезависимая основная память", Сергей Кузнецов, д.т.н. (ИСП РАН); Павел Велихов, Кянг Фу (Российский Исследовательский Институт Huawei)
• 02:06:50 – 02:30:46 "Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM", Александр Шмид, д.т.н., профессор (ЗАО «ЕС-Лизинг»)
• 02:33:00 – 02:47:55 "Оптимизация доступа к ассоциативной базе данных для реализации стандарта PMIx", Александр Ефимов (СибГУТИ); Артем Поляков (NVIDIA Corporation); Константин Крамаренко (СибГУТИ)
• 02:49:00– 03:00:12 "Экспериментальная оценка методов гомоморфного сравнения", Михаил Бабенко, к.ф.-м.н. (СКФУ); Андрей Черных, к.т.н. (ИСП РАН); Бернардо Пулидо-Гейтан, Ph.D (Исследовательский центр CICESE Энсенада, Мексика); Елена Голимблевская, Хорхе Марио Кортес-Мендоза (СКФУ), Арутюн Аветисян, д.ф.-м.н. (ИСП РАН)
• 03:09:50 – 03:28:00 "Catalyst: Использование совместного и активного обучения для непрерывной классификации", Максим Рындин, Денис Турдаков, к.ф.-м.н., Сергей Кузнецов, д.т.н. (ИСП РАН)
• 03:31:13 – 03:53:53 "Применение тематического моделирования для оценки сложности учебников на русском языке", Андрей Саховский, Валерий Соловьев, д.ф.-м.н., Марина Солнышкина, к.ф.н. (ФГАОУ ВО КФУ)
• 04:01:00 – 04:17:34 "Верификация результатов обнаружения таблиц в PDF документах на основе графового представления", Андрей Михайлов, к.т.н., Алексей Шигаров, к.т.н. (ИДСТУ СО РАН); Егор Рожков (ИГУ); Игорь Черепанов (ИДСТУ СО РАН)
• 04:25:25 – 04:41:50 "Распределение рабочей нагрузки цифровых близнецов с потоковым взаимодействием микросервисов на облака с низкой стоимостью", Хорхе Марио Кортес-Мендоза (Южно-Уральский государственный университет); Андрей Черных, к.т.н. (ИСП РАН); Андриан Фасио Медина, Бернардо Пулидо-Гейтан, Ph.D ((Исследовательский центр CICESE Энсенада, Мексика); Глеб Радченко (Южно-Уральский государственный университет); Михаил Бабенко, к.ф.-м.н. (СКФУ); Игорь Черных, к.ф.-м.н., Игорь Куликов, д.ф.-м.н. (ИВМиМГ СО РАН); Серхио Несмачноу, Ph.D, Рауль Ривера Родригез (Республиканский университет, Уругвай)
• 04:46:28 – 05:08:15 "Michman: оркестратор для развертывания распределенных сервисов в облачных средах", Елена Аксенова, Никита Лазарев, Давид Бадалян, Олег Борисенко, Роман Пастухов
• 05:14:36 − 05:25:55 "Использование Ansible в реализации TOSCA-оркестратора", Валерия Швецова, Олег Борисенко (ИСП РАН); Максим Полищук (МГТУ им. Н.Э.Баумана)
• 05:28:39 – 05:45:20 "Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт»", Ирина Енягина, Андрей Поляков, к.т.н. (НИЦ «Курчатовский институт»)
• 05:53:40 – 06:32:26 "Агрегация и нормализация гетерогенных данных в системах мониторинга информационной безопасности и обнаружения вторжений крупномасштабных промышленных киберфизических систем", Полтавцева Мария, к.т.н. (СПбПУ)
• 06:35:55 – 06:48:30 "Неархитектурные улучшения для классификации ЭКГ с использованием глубокой нейронной сети", Владислав Ананьев, Павел Андреев, Арам Аветисян, Владимир Макаров (ИСП РАН); Вадим Глинер, Ассаф Шустер (Технион, Израиль); Евгений Карпулевич (ИСП РАН)
• 06:18:52 – 06:34:42 "Применение метода HDBSCAN для кластеризации данных РНК-секвенирования единичных клеток", Мария Акименкова (ИСП РАН); Анна Мазнина (МФТИ); Антон Наумов, Евгений Карпулевич (ИСП РАН)

Запись трансляции секции "Решение задач механики сплошных сред с использованием СПО", 10 декабря

Модератор – к.ф.-м.н. Матвей Крапошин (ИСП РАН)

Запись неполная

• 00:00:00 – 00:22:42 "Мультифрактальный анализ геофизических потоков. Памяти проф. Хосе Мануэля Редондо", Сергей Стрижак, к.т.н. (ИСП РАН); Джексон Тельес-Альварес, Ph.D (Научно-исследовательский Институт Флюмен, департамент гражданской и экологической инженерии Политехнического университета Каталонии, Испания)
• 00:32:05 – 01:09:20 "Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим отношением горизонтального и вертикального масштабов", Ильяс Сибгатуллин, к.ф.-м.н. (ИО РАН); Степан Елистратов (МГУ); Кирилл Ватутин (ИСП РАН); Евгений Ерманюк, д.ф.-м.н. (Институт гидродинамики им. М.А. Лаврентьева СО РАН), Евгений Михайлов (МГУ)
• 01:09:40 – 01:26:40 "Трехмерное численное моделирование гидродинамики около колеблющихся балок", Артем Нуриев, к.ф.-м.н. (Казанский федеральный университет)

Запись трансляции секции "Решение задач механики сплошных сред с использованием СПО", 11 декабря

Модератор – к.ф.-м.н. Матвей Крапошин (ИСП РАН)

Запись неполная

• 00:00:00 – 00:36:50 "О сверхсходящихся численных схемах метода граничных элементов", Александр Георгиевич Петров, д.ф.-м.н., профессор (ИПМех РАН)
• 00:39:14 – 01:30:06 "Проблемы исследования Арктики", Игорь Борисович Петров, д.ф.-м.н., член-корр. РАН, профессор, завкафедрой (МФТИ)
• 01:39:10 – 02:03:00 "Представление стендовых докладов"
• 02:03:00 – 02:17:40 "О реализации численных схем на основе разрывного метода Галеркина для решения газодинамических задач средствами открытого программного обеспечения", Виктория Корчагова (ИСП РАН)
• 02:20:20 – 02:36:50 "Моделирование трансзвукового потока в изогнутом канале программным комплексом SU2", Анатолий Рябинин, Александр Кузьмин (СПБГУ, кафедра гидроаэродинамики)
• 02:43:09 – 03:03:21 "QGDsolver – открытый фреймворк для разработки моделей течений жидкости и газа на основе регуляризованных уравнений", Матвей Крапошин, к.ф.-м.н. (ИСП РАН)
• 03:04:26 – 03:17:59 "Моделирование инфразвукового пистонфона", Дмитрий Головин (ВНИИФТРИ)
• 03:23:55 – 03:34:33 "Численное моделирование натекания сильно недорасширенных струй на преграду", Андрей Епихин, к.т.н. (ИСП РАН)
• 03:41:06 – 03:58:15 "Метод построения аккуратной пространственной сетки для моделирования внешнего обтекания", Иван Широков, к.ф.-м.н. (МГУ)
• 03:59:27 – 04:13:35 "Прогнозирование звукового удара в дальнем поле для сверхзвуковых транспортных средств с использованием свободного программного обеспечения", Кирилл Ватутин, Андрей Епихин к.т.н., Матвей Крапошин к.ф.-м.н. (ИСП РАН)
• 04:23:00 – 04:34:24 "Опыт замены компонентов коммерческого САПР на свободные аналоги", Виктор Игнатенко, Денис Базаревский (STR-Soft)
• 04:39:42 – 05:02:39 "Масштабируемые рабочие процессы в работе с OpenFOAM", Евдокимов Илья, к.т.н., Хэнш Сьюзан (Центр им. Гельмгольца Дрезден-Россендорф)
• 05:07:56 – 05:20:27 "Многокритериальная оптимизация полости охлаждения в поршне дизельного двигателя", Мария Комарова, Владимир Зенкин, Максим Кулабухов (МГТУ им. Н.Э.Баумана)
• 05:23:44 – 05:39:24 "Сравнение односкоростной и многоскоростной многофазных моделей для моделирования потоков на склонах", Дарья Романова (ИСП РАН)

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

• IEEE
• IEEE Computer Society
• Российская академия наук (РАН)
• Федеральная служба по техническому и экспортному контролю РФ (ФСТЭК России)
• Фонд перспективных исследований (ФПИ)
• Samsung Group
• Huawei Technologies Co. Ltd.
• Hewlett Packard Enterprise
• Dell Technologies Inc.
• NVIDIA Corporation

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

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

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