75-летие отечественных информационных технологий

Видео-запись конференции (4-5 декабря)

День первый

10:00 - Пленарная сессия, посвященная 75-летию отечественных информационных технологий

13:00 - Секция «Образование, технологии, сообщество: системный подход к безопасной разработке»

10:00 - Plenary session dedicated to the 75th anniversary of Russian IT science and industry

День первый

12:30 - Секция «Российский open source: разработка библиотек в сфере ИИ»

День первый

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

День второй

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

День первый

13:00 - II воркшоп «Системы доверенного искусственного интеллекта»

День второй

10:00 - Секция «Управление данными и информационные системы»

День первый

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

16:00 - Секция «Управление данными и информационные системы»

День второй

10:00 - Секция «САПР микроэлектронной аппаратуры»

День первый

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

День второй

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

День второй

10:00 - Секция «Лингвистические системы анализа» (онлайн)







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

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

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

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

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

В 2023 г. Открытая конференция ИСП РАН посвящена 75-летию отечественных информационных технологий. 4 декабря 1948 г. член-корреспондент АН СССР Исаак Брук и инженер-конструктор лаборатории электросистем Энергетического института АН СССР Башир Рамеев представили в Госкомитет Совета министров СССР по внедрению передовой техники в народное хозяйство заявку на изобретение автоматической цифровой вычислительной машины. В том же году были созданы Институт точной механики и вычислительной техники АН СССР и СКБ N245, которые выпустили первые отечественные серийные ЭВМ.

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



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

Секция посвящена методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ и др. В частности, рассматриваются следующие темы:

  • Обратная инженерия бинарного (исполняемого) кода.
  • Выполнение программ в контролируемом окружении.
  • Поиск ошибок и уязвимостей в исполняемом коде.
  • Анализ сетевого трафика.
  • Оптимизации в компиляторе и генерация кода.
  • Статический и динамический анализ программ.
  • Методы и инструменты анализа и тестирования программ.
  • Запутывание программ (обфускация).

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

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

  • Интеллектуальный анализ данных и извлечение знаний.
  • Математическая теория и методы машинного обучения и искусственного интеллекта.
  • Математические модели процессов и явлений реального мира.
  • Компьютерная лингвистика, анализ и понимание текстов на естественном языке.
  • Анализ социальных сетей, хранение и анализ больших графов.
  • Обработка сигналов и анализ изображений.
  • Анализ контента, созданного пользователями Интернета.
  • Информационный поиск, рекомендательные системы.
  • Онтологии и базы знаний.
  • Информационные системы и технологии.
  • Масштабируемые алгоритмы анализа данных.
  • Прикладные задачи анализа данных.
  • Очистка данных, интеграция разнородных данных, дедупликация данных.
  • Инфраструктура для хранения и обработки больших объемов данных.
  • Ключевые технологии создания частных и гибридных облаков.
  • Высокопроизводительные вычисления и другие облачные сервисы.
  • Экосистема хранения и обработки больших массивов данных.
  • Распределенные базы данных и технологии Data/Web Mining.
  • Программные платформы интернета вещей.
  • Динамическая балансировка нагрузки в эластичных облаках.
  • Планирование потока задач в облачных центрах обработки данных.
  • Оркестрация с использованием стандарта OASIS TOSCA.

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

Секция предназначена для обмена опытом по созданию свободного ПО для решения задач механики сплошных сред (OpenFOAM, Salome, ParaView, DAKOTA и др.) и сравнения полученных разработок с коммерческими аналогами. В частности, рассматриваются следующие темы:

  • Моделирование турбулентных течений.
  • Решение сопряженных задачи теплообмена.
  • Прикладные задачи гидродинамики, газодинамики, аэродинамики.
  • Разработка собственных решателей и библиотек.
  • Научная визуализация и обработка численных результатов.
  • Вопросы обучения на базе открытых пакетов.

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

Секция посвящена вопросам разработки САПР микроэлектронной аппаратуры, а также вопросам использования открытых (open source) решений в реальных проектах. Среди рассматриваемых тем:

  • Открытые маршруты проектирования СБИС.
  • Высокоуровневый синтез и проектирование на системном уровне.
  • Проектирование на уровне регистровых передач.
  • Логический синтез (логическая оптимизация и технологическое отображение).
  • Физический синтез (размещение и трассировка).
  • Проектирование аналоговых и СВЧ-схем.
  • Имитационная и формальная верификация.
  • Автоматизация разработки гетерогенных компьютерных систем.

Лингвистические системы анализа

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

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

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

Российские учёные и эксперты цифровой индустрии обсудили историю и перспективы развития отечественных информационных технологий на круглом столе «75 лет информационным технологиям в России», организованном дискуссионным клубом Ecumene в издании «Комсомольская правда» в преддверии Дня информатики в России.

Программа конференции

Понедельник, 4 декабря 2023 года

9:00 - 10:00

Регистрация, приветственный кофе (Фойе Большого зала)

10:00 - 12:00

Торжественная пленарная сессия, посвященная 75-летию отечественных информационных технологий (Большой зал)

К участию приглашены представители руководства РАН, главы министерств и ведомств, вузов и ИТ-компаний.

12:00 - 13:00

Обед-фуршет, выставка технологий ИСП РАН и компаний-партнёров (Фойе Большого зала)


Секция «Образование, технологии, сообщество: системный подход к безопасной разработке» (Большой зал)

13:00 - 18:00

Секция «Образование, технологии, сообщество: системный подход к безопасной разработке»

Ведущий: Дмитрий Пономарев, сотрудник ИСП РАН и «Фобос-НТ».

13:00-14:30 – круглый стол «SDL и кадровый голод. Поиск решений». Модератор: директор ИСП РАН Арутюн Аветисян.
14:30-14:55 – перерыв
14:55-16:15 – круглый стол «Технологические центры. Технологии и люди». Модератор: руководитель Центра исследования безопасности системного программного обеспечения Алексей Хорошилов.
16:15-16:40 – перерыв
16:40-18:00 – круглый стол «За пределами SDL». Модератор: заведующий лабораторией обратной инженерии бинарного кода ИСП РАН Вартан Падарян.

В секции примут участие представители «Лаборатории Касперского», «ИнфоТекс», CodeScoring, ГК «Солар», МТС Red, «Яндекс.Облако», «Базальт СПО», Luntry и других компаний, а также московских и региональных вузов (МГТУ им. Н.Э. Баумана, НовГУ, ЧГУ и др.).


II воркшоп «Системы доверенного искусственного интеллекта» (Красный зал)

13:00 - 13:05

Денис Турдаков1

1 ИСП РАН

Краткий обзор результатов Исследовательского центра довереного ИИ за 2023 год

13:05 - 13:25

Дарина Двинских1,2

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

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

13:25 - 13:45

Александр Лобанов1,2

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

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

13:45 - 14:05

Сергей Кузнецов1,2

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

Модели человеческого знания: простые логические формулы против Черных ящиков

14:05 - 14:25

Михаил Паутов1,2, Ольга Цымбой1,2

1 AIRI, 2 Сбер

Доказуемая устойчивость к произвольным разрешимым преобразованиям и их композициям

14:25 - 14:35

Валентин Малых1,2

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

LAPCA: Предварительное обучение с межъязыковым выравниванием, не зависящее от языка

14:35 - 15:05

Анастасия Панфилова1

1 ИП РАН

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

15:05 - 15:25

Даниил Чернышев1,2, Борис Добров1,2

1 МГУ, 2 ИСП РАН

Интерпретация стратегий обучения в задаче абстрактивного аннотирования

15:25 - 15:50

Кофе-брейк (Зимний сад)

15:50 - 15:55

Дмитрий Ватолин1,2

1 МГУ, 2 ИСП РАН

К вопросу о проблемах современных метрик качества видео

15:55 - 16:10

Екатерина Шумицкая1,2

1 МГУ, 2 ИСП РАН

Одноитеративные визуально-незаметные атаки на безреференсные метрики качества видео

16:10 - 16:25

Георгий Бычков1,2

1 МГУ, 2 ИСП РАН

Black-box атаки на безреференсные методы оценки качества изображений и видео

16:25 - 16:40

Анастасия Анциферова1,2

1 МГУ, 2 ИСП РАН

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

16:40 - 17:00

Максим Каширин1, Андрей Фильченков1

1 ИСП РАН

Новая байесовская функция потерь для оценки алеаторной неопределённости в задаче распознавания пыльцы

17:00 - 17:20

Андрей Савченко1,2,3

1 Сбер, 2 ВШЭ, 3 ИСП РАН

Эффективное распознавание выражений лиц на видео

17:20 - 17:40

Игорь Юсипов1, Алёна Калякулина1

1 ННГУ

Объяснимый ИИ в биомаркерах старения

17:40 - 18:00

Сергей Николенко1,2

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

Преобразования Cинхорна для постобработки по одному запросу при поиске текста и видео


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

13:00 - 15:30

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

Модератор:

Копылов Ф.Ю., д.м.н., профессор, директор Института персонализированной кардиологии.

Участники и доклады:

Оппортунистический скрининг с помощью ИИ как путь к персонализированной медицине
Гомболевский В.А., к.м.н., в.н.с. Института искусственного интеллекта AIRI, ст.н.с. Института персонализированной онкологии Сеченовского университета.

Особенности регистрации и обращения медицинского программного обеспечения с использованием ИИ
Мустафина А.Ч., главный редактор издания «Про медизделия».

Компьютерное зрение в ревматологии
Лила А.М., директор ФГБНУ НИИ Ревматологии им. В.А. Насоновой, член-корреспондент РАН, д.м.н., профессор, главный внештатный специалист-ревматолог МЗ РФ.

Разработка цифровых моделей рака легкого
Макаров В.А., руководитель лаборатории медицинской информатики, Новгородский государственный университет имени Ярослава Мудрого.
Ананьев В.В., м.н.с, Новгородский государственный университет имени Ярослава Мудрого.

Центр интеллектуальных технологий. Результаты и перспективы
Газашвили Т.М., Руководитель центра инструментальной диагностики, ГБУЗ г. Москвы ГКБ №67 им. Л.А. Ворохобова ДЗМ.

Искусственный интеллект в кардиологии
Копылов Ф.Ю., д.м.н., профессор, директор Института персонализированной кардиологии.

Информационные технологии совершенствования подиатрической диагностики
Киреев С.И., д.м.н., декан факультета фундаментальной медицины и медицинских технологий СГУ, врач-травматолог ортопед высшей категории.
Батраева Инна Александровна, к.ф.-м.н., заведующая кафедрой технологий программирования факультета компьютерных наук и информационных технологий СГУ.
Фалькович Александр Савельевич, д.т.н., заведующий кафедрой медицинской кибернетики факультета ФМиМТ СГУ.
Пантелеев Дмитрий Сергеевич, магистрант 2 курса факультета КНиИТ направления подготовки «Математическое обеспечение и администрирование вычислительных систем».
Забоев Максим Владиславович, студент 4 курса факультета КНиИТ направления подготовки «Фундаментальная информатика и информационные технологии».

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

Алгоритм авто анализа или человек: кто точнее распознает дислокацию электродов на ЭКГ??
Шутов Д.В., д.м.н., руководитель проекта, проектный офис, ГБУЗ «НПКЦ ДиТ ДЗМ».

Контроль качества и апробация систем искусственного интеллекта в медицине
Субботин С.А., Советник по развитию информационных технологий, ФГБУ «Национальный медико-хирургический Центр им. Н.И. Пирогова» Министерства здравоохранения РФ.

Обеспечение конфиденциальности медицинских данных при обучении сервисов ИИ
Попов Е.В., Руководитель направления "Здравоохранение" Yandex Cloud.

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

15:30 - 16:00

Кофе-брейк (Зимний сад)


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

16:00 - 16:20

Александр Шокуров1, Николай Варновский2, Сергей Мартишин1, Марина Храпченко1

1 ИСП РАН, 2 Институт проблем информационной безопасности МГУ им. Ломоносова

О защите запросов к облаку

16:20 - 16:40

Игорь Богомолов1

1 ИСП РАН

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

16:40 - 17:00

Григорий Калинин1, Игорь Богомолов1, Олег Борисенко1

1 ИСП РАН

LogRavana: система привязки исходного кода к журналам облачной платформы OpenStack

17:00 - 17:20

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

1 AccentOS

Ключевые технологии создания частных и гибридных облаков: оптимизация и повышение надежности системы OpenStack

17:20 - 17:40

Рената Миндиярова1, Сергей Скорик1, Шагане Тигранян1, Арам Аветисян1

1 ИСП РАН

Перенос знаний с 12-канальных на 1-канальные ЭКГ

17:40 - 18:00

Анастасия Пеструилова1, Евгений Карпулевич1, Егор Гугучкин1

1 ИСП РАН

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


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

13:00 - 13:25

Павел Дунаев1, Артемий Гранат1, Артем Синкевич1, Инна Батраева1, Дмитрий Петров1

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

Разработка прототипа безопасного компилятора на основе Clang

13:25 - 13:50

Александр Баташев1

1 Нижегородский государственный университет им. Н.И. Лобачевского

Программный комплекс для измерения производительности базовых блоков на современных ЦПУ

13:50 - 14:15

Артем Климов1, Владислав Иванишин1, Александр Монаков1

1 ИСП РАН

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

14:15 - 14:40

Дмитрий Иванов1, Даниил Степанов2

1 Санкт-Петербургский исследовательский центр, Хуавей, 2 ИТМО

Автоматизированная генерация модульных тестов для Java-программ при помощи фаззинга

14:40 - 15:05

Рубен Бучацкий1, Ян Чуркин1, Кирилл Чибисов1, Михаил Пантилимонов1, Егор Долгодворов1,2, Андрей Вязовцев1,2, Алексей Волохов1, Владимир Трунов1,2, Гаяне Миракян3, Константин Китаев1,2, Андрей Белеванцев1,4

1 ИСП РАН, 2 МФТИ, 3 Российско-Армянский университет, 4МГУ им. Ломоносова

Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang

15:05 - 15:30

Никита Шугалей1, Владислав Иванишин1, Александр Монаков1

1 ИСП РАН

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

15:30 - 16:00

Кофе-брейк (Зимний сад)

16:00 - 16:25

Варвара Дворцова1,2, Алексей Избышев1, Алексей Бородин1, Андрей Белеванцев1,2

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

Статический анализ языка Go: контролируемая сборка

16:25 - 16:50

Михаил Биктимиров1, Михаил Беляев1, Валерий Игнатьев1,2

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

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

16:50 - 17:15

Виталий Афанасьев1,2, Алексей Бородин1, Константин Вихлянцев1,3, Андрей Белеванцев1,4

1 ИСП РАН, 2 НИУ ВШЭ, 3 МФТИ, 4 МГУ им. Ломоносова

Статический анализ на основе обобщённого абстрактного синтаксического дерева

17:15 - 17:40

Дмитрий Чибисов1,2, Никита Шимчик1,2, Валерий Игнатьев1,2

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

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


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

13:30 - 13:40

Начало работы секции. Проверка презентаций.

13:40 - 14:00

Михаил Ермаков1

1 ИПМех РАН

Новые возможности открытого пакета генерации сеток Gmsh

14:00 - 14:20

Шуай Жи1, Инфан Квин1, Квин Жэнь1

1 Китайский университет океана

Экспериментальное исследование размыва, вызванного гребным винтом

14:20 - 14:40

Инфан Квин1, Шуай Жи1, Квин Жэнь1

1 Китайский университет океана

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

14:40 - 15:00

Елена Малиновская1, Геннадий Горчаков1, Алексей Карпов1, Леонид Максименков1, Олег Даценко1

1 Институт физики атмосферы им. А.М. Обухова РАН

Моделирование динамики электризованного потока частиц при ветровом выносе средствами OpenFOAM

15:00 - 15:20

Константин Федоров1, Александр Гильманов1, Александр Шевелёв1, Родион Ганопольский1

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

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

15:30 - 16:00

Кофе-брейк (Зимний сад)

16:00 - 16:20

Руслан Мкоян1, Севак Саргсян1, Дарья Романова2

1 Российско-Армянский университет, 2 ИСП РАН

Аэродинамический анализ самолета с дельтавидным крылом и исследование влияния пропеллера в пакете OpenFOAM

16:20 - 16:40

Гурий Михайлов1, Наталья Тучкова1, Константин Беляев2

1 Вычислительный центр им. А.А. Дородницына ФИЦ ИУ РАН, 2 Институт океанологии им. П.П. Ширшова РАН

Стохастический анализ потоков тепла «океан – атмосфера» в Северной Атлантике

16:40 - 17:00

Илья Марчевский2, Валерия Пузикова1

1 YADRO, 2 МГТУ им. Н.Э. Баумана

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

17:00 - 17:20

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

1 МГТУ им. Н.Э. Баумана

Быстрые алгоритмы для основных вычислительных операций при моделировании плоских течений в программном комплексе VM2D


Секция «Российский open source: разработка библиотек в сфере ИИ» (Зал «Ротонда»)

12:30 - 12:40

Приветственное слово Фонда содействия инновациям

12:40 - 12:55

Сергей Муравьёв

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

12:55 - 13:10

Валентин Полежаев

Библиотека распределенных вычислительных экспериментов с рекомендательными системами в кластере Kubernetes

13:10 - 13:25

Виктор Носко, Захар Понимаш

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

13:25 - 13:40

Сергей Алабугин, Алексей Самосюк, Вячеслав Шокоров

Открытый инструментарий анализа человека 3DiVi

13:40 - 14:00

Вахит Гиниятуллин

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

14:00 - 14:30

Перерыв

14:30 - 14:45

Мария Шустова

Открытая библиотека MRI_MedicalAnalysis для интеллектуальной поддержки врачей-исследователей на основе когнитивной графики, искусственных нейронных сетей и высокопроизводительной обработки данных МРТ

14:45 - 15:00

Василий Гончаров

Нейросетевые задачи обработки математических текстов

15:00 - 15:15

Артём Менисов

Концепция проактивной защиты систем искусственного интеллекта

15:15 - 15:30

Андрей Константинов

Фреймворк для разработки и применения алгоритмов машинного обучения на основе глубоких лесов (Deep Forest)

15:30 - 15:45

Игорь Буянов

Нейросетевые методы сжатия векторов для задачи поиска ближайших соседей

15:45 - 16:00

Артем Аментес

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

16:00 - 16:15

Оксана Беляева

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

16:15 - 16:30

Алексей Кашевник, Иван Брак, Ирина Шошина, Владислав Кузнецов, Светлана Коваленко

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

16:30 - 16:45

Анастасия Митянина, Виталий Мельников, Александр Карпич, Дмитрий Валуев

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

16:45 - 17:00

Юрий Дубенко, Николай Тимченко

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

17:00 - 17:15

Дмитрий Полежаев, Максим Михайлов

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

17:15 - 17:30

Алексей Забашта

Система детекции и распознавания характеристик процессов и объектов

17:30 - 17:45

Иван Бондаренко

Распознавание и семантический анализ звукозаписей интервью: методы, модели и открытые технологии

17:45 - 18:00

Дмитрий Юдин, Александр Мелехин

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

Вторник, 5 декабря 2023

9:00 - 10:00

Регистрация (Фойе цветных залов), приветственный кофе (Зимний сад)

12:30 - 13:30

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

15:30 - 16:00

Кофе-брейк (Зимний сад)


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

10:00 - 11:00

Александр Гасников1,2,3

1 Университет Иннополис, 2 МФТИ, 3 ИСП РАН

Децентрализованная оптимизация на меняющихся со временем графах

11:00 - 11:20

Алексей Орлов1, Камил Баязитов1, Андрей Грабовой1

1 МФТИ

Дистилляция модели на мультидоменных датасетах

11:20 - 11:40

Оксана Беляева1, Анастасия Богатенкова1, Денис Турдаков1,2

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

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

11:40 - 12:00

Ирина Алексеевская1, Константин Архипенко1

1 ИСП РАН

OrderBkd: текстовая бэкдор-атака посредством изменения положения

12:00 - 12:20

Вячеслав Мещанинов1, Иван Молодецких1, Дмитрий Ватолин2

1 МГУ им. Ломоносова, 2 Институт искусственного интеллекта МГУ

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

12:30 - 13:20

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

13:20 - 13:30

Вильям Сарьян1, Дмитрий Босомыкин1, Алена Захарова2, Роман Мещеряков2, Александр Петренко3

1 НИИ Радио, 2 ИПУ РАН, 3 ИСП РАН

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

13:30 - 13:50

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

1 ИСП РАН, 2 МФТИ3 компания «Антиплагиат»

Ансамблирование моделей для формирования запросов к изменяющейся поисковой системе с использованием обучения с подкреплением

13:50 - 14:10

Петр Пылов1, Роман Майтак1, Елизавета Зайцева2

1 Кузбасский государственный технический университет имени Т.Ф. Горбачева, 2 Казанский национальный исследовательский технологический университет

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

14:10 - 14:30

Юрий Зеленков1

1 НИУ ВШЭ

Управление неоднородностью регрессионного ансамбля

14:30 - 14:50

Даниил Копылов1, Андрей Михайлов1

1 Институт динамики систем и теории управления СО РАН

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

14:50 - 15:10

Олег Копылов1, Валентин Малых1

1 НИУ ВШЭ

Разработка метода оценки сходства датасетов

15:10 - 15:30

Александр Лишуди1, Валентин Малых2

1 НИУ ВШЭ, 2 ИТМО

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

15:30 - 16:00

Кофе-брейк (Зимний сад)

16:00 - 16:20

Михаил Тихомиров1, Даниил Чернышев1

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

Влияние алгоритма токенизации на адаптацию на русский язык больших языковых моделей архитектуры LLaMa

16:20 - 16:40

Владимир Качанов1,2, Ариана Хитрова1,3, Сергей Марков1

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

Извлечение именованных сущностей из рецензий к исходному коду

16:40 - 17:00

Ксения Варламова1,2, Ильдар Хабутдинов1,2, Андрей Грабовой1,2

1 МФТИ, 2 компания «Антиплагиат»

Исправление орфографических ошибок на русском языке: подход к случаю множественных ошибок

17:00 - 17:20

Тимур Гарипов1, Дмитрий Морозов1, Анна Глазкова2

1 НГУ, 2 ТюмГУ

Обобщающая способность алгоритма построения морфемных разборов на основе свёрточных нейронных сетей

17:20 - 17:40

Владимир Старченко1, Алексей Старченко1

1 НИУ ВШЭ

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

17:40 - 18:00

Владислав Луценко1, Михаил Бабенко1, Андрей Черных2,3 и др.

1 Северо-Кавказский федеральный университет, 2 Центр научных исследований и высшего образования, Мексика3 ИСП РАН

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


Секция «САПР микроэлектронной аппаратуры» (Бежевый зал)

10:00 - 11:50

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

Приглашены представители АО «МНТЦ МИЭТ», АО «НТЦ «Атлас», АО НПЦ «ЭЛВИС» и других организаций.

11:50 - 12:30

Секция «Общие вопросы разработки САПР»

Модератор: Александр Камкин, сотрудник ИСП РАН и РЭУ им. Г.В. Плеханова.

11:50 - 12:10

Александр Американов1, Тимофей Таржанов1, Ирина Романова1, Александр Романов1

1 МИЭМ ВШЭ

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

12:10 - 12:30

Данил Мячин1, Виктория Пугач1, Степан Авдеюк1, Владимир Зунин1, Александр Романов1

1 МИЭМ ВШЭ

Открытая система для хранения и обработки датасета комбинационных схем

12:30 - 13:30

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

13:30 - 15:10

Секция «Методы синтеза и анализа СБИС»

Модератор: Михаил Чупилко, сотрудник ИСП РАН и РЭУ им. Г.В. Плеханова.

13:30 - 13:50

Никита Малышев1, Алексей Стадник1, Алексей Еремин2

1 ООО «ЭРЕМЕКС», 2 СПбГУ

Анализ методов и алгоритмов оптимизации логического синтеза в современных САПР микроэлектроники

13:50 - 14:10

Сергей Гаврилов1, Даниил Железников1, Мария Заплетина1, Иван Тиунов1, Василий Хватов1, Рустам Чочаев1, Дмитрий Шокарев1

1 ИППМ РАН

Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС

14:10 - 14:30

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

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

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

14:30 - 14:50

Александр Камкин1,2, Иван Григоров1, Михаил Литвинов1

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

Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR

14:50 - 15:10

Дмитрий Булах1, Андрей Коршунов1

1 МИЭТ

Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane

15:30 - 16:00

Кофе-брейк (Зимний сад)

16:00 - 17:00

Секция «Машинное обучение в САПР СБИС»

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

16:00 - 16:20

Роман Соловьев2, Дмитрий Тельпухов2, Евгений Демидов1, Илья Шафеев2

1 МИЭТ, 2 ИППМ РАН

Быстрый анализ статического IR drop эффекта на базе методов машинного обучения

16:20 - 16:40

Роман Соловьев1, Тимур Кадирлиев1, Дмитрий Тельпухов1

1 ИППМ РАН

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

16:40 - 17:00

Михаил Лебедев1,2, Дарья Дыскина2, Анастасия Еременко2, Федор Кабанов2, Илья Козмин2, Даниил Петренко2, Никита Поудиал2, Андрей Сергеев2, Рена Ширинова2

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

Прогнозирование характеристик СБИС по логическим схемам с помощью методов машинного обучения


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

10:00 - 10:25

Виталий Чепцов1, Алексей Хорошилов1

1 ИСП РАН

Метод надёжной пространственной изоляции для ARINC 653 ОСРВ

10:25 - 10:50

Сергей Прокопьев1,2

1 ИСП РАН, 2 АО НПК «Криптонит»

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

10:50 - 11:15

Александр Когтенков1

1 Лаборатория Касперского

Эффективное дополнение авто-активной верификации программ дедуктивными доказательствами

11:15 - 11:40

Евгений Герлиц1

1 ИСП РАН

Инструмент для поиска гонок по данным RaceHunter

11:40 - 12:05

Екатерина Лаврищева1

1 ИСП РАН

Моделирование операционных, программных и технических систем в проектах РФФИ 2016-2022

12:05 - 12:30

Награждение победителей контеста VeHa

12:30 - 13:30

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

13:30 - 13:55

Петр Девянин1

1 Группа Астра

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

13:55 - 14:20

Сергей Старолетов1

К моделированию системы обработки прерываний Linux для SMP систем

14:20 - 14:45

Шамиль Курмангалеев1, Егор Шевяхов2, Александр Морозов2, Даниил Калинин2

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

Автоматический поиск фазз-блокеров

14:45 - 15:10

Наталья Ерохина1

Академия ФСО России1

Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов

15:10 - 15:35

Тимофей Межуев1,2, Илай Кобрин1,2, Алексей Вишняков3, Даниил Куц1

1 ИСП РАН, 2 МГУ им. Ломоносова, 3 Яндекс Облако

Предикат безопасности для ошибки целочисленного усечения

15:35 - 16:00

Кофе-брейк (Зимний сад)

16:00 - 16:25

Артемий Юрьев1

1 Газпромбанк

Фаззинг полиморфных систем в структурах микросервисов

16:25 - 16:50

Алексей Недоря

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

16:50 - 17:15

Александр Гетьман1,2, Иван Степанов1,2

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

Исследование возможности идентификации веб-сайтов, посещаемых пользователем, на основе HTTP/2 трафика


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

10:30 - 10:40

Начало работы секции. Проверка презентаций.

10:40 - 11:00

Артем Сухов1, Александр Петров2

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

Расчёт силовых характеристик гребного винта при помощи метода решеток профилей

11:00 - 11:20

Ксения Зайцева1, Валерия Пузикова1, Андрей Соколов1

1 YADRO

О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V

11:20 - 11:40

Софья Орлова1, Андрей Епихин1, Артем Маслов1,2

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

Численное моделирование обледенения модели беспилотного летательного аппарата

11:40 - 12:00

Игорь Потапов1

1 ВЦ ДВО РАН

О явлениях хаоса в русловых процессах

12:00 - 12:20

Елена Байметова1, Екатерина Митрюкова1

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

Численное и экспериментальное исследование гидродинамики ТА

12:30 - 13:30

Обед-фуршет (Зимний сад). Подготовка стендовых докладов

13:30 - 13:50

Александр Петров1, Игорь Потапов2

1 ИСП РАН

Об автомодельных решениях задачи донных деформаций

13:50 - 14:10

Иван Бут1, Андрей Епихин1

1 ИСП РАН

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

14:10 - 14:30

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

1 ИСП РАН

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

14:30 - 14:50

Артем Нуриев1, Ангелина Баймуратова1, Ольга Зайцева1, Ольга Жучкова1

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

Зависимость пропульсивных характеристик машущего крыла от формы его поперечного сечения

14:50 - 16:00

Стендовая сессия

15:30 - 16:00

Кофе-брейк (Зимний сад)

16:00 - 16:20

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

1 ИСП РАН

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

16:20 - 16:40

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

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

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

16:40 - 17:00

Степан Елистратов1,2, Иван Бут1, Ильяс Сибгатуллин1,2

1 ИСП РАН, 2 ИО РАН

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

17:00 - 17:20

Обсуждение


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

Александр Кузьмин1

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

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

Наргиза Валишина1, Дарья Романова1,2

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

Уточненный метод расчета турбулентных течений на грубых сетках

Евгений Михайлов1,2, Антон Таранюк2, Анастасия Степанова2

1 МГУ им. Ломоносова, 2 Физический институт имени П.Н.Лебедева РАН

Исследование электровихревого течения между плоскостями с помощью различных вычислительных подходов

Дарья Романова1,2, Степан Елистратов3,1, Андрей Епихин1

1 ИСП РАН, 2 МГУ им. Ломоносова, 3 Институт океанологии имени П.П. Ширшова

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

Софья Ярикова1, Степан Елистратов2,1

1 ИСП РАН, 2 Институт океанологии имени П.П. Ширшова

Исследование течения за гребным винтом с применением POD-анализа

Виктор Аушев1

1 МГТУ им. Н.Э. Баумана

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

Андрей Епихин1,2, Виктория Корчагова1, Софья Ярикова1, Степан Елистратов1

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

Разработка графического интерфейса для программного комплекса OpenFOAM (Интерактивный стенд)

Александр Шемахин1

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

Математическое моделирование потока высокочастотной плазмы при пониженном давлении с помощью программного обеспечения PIGsolver. Электромагнитное поле

Георгий Щеглов1,2, Зайнулла Жумаев1,2, Кристина Жданова1,2, Никита Каменев1,2

1 МГТУ им. Баумана, 2 ООО «Космические вычислительные системы»

Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников


Секция «Лингвистические системы анализа» (онлайн)

10:00 - 10:20

Ксения Найденова1, Владимир Пархоменко2, Елена Булыкина2, Татьяна Мартирова1, Александр Щукин2, Юрий Лизунов1

1 ВМедА, 2 СПбПУ

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

10:20 - 10:40

Ольга Баженова1

1 ИСП РАН

К вопросу о месте верхнекамского диалекта в диалектном ареале коми языка (на материалах платформы Lingvodoc)

10:40 - 11:00

Александра Уткина1

1 Удмуртский институт истории, языка и литературы ФГБУН УдмФИЦ УрО РАН

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

11:00 - 11:20

Наталья Кондратьева1,2

1 Удмуртский институт истории, языка и литературы ФГБУН УдмФИЦ УрО РАН, 2 ИСП РАН

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

11:20 - 11:40

Денис Догадушкин1, Юлия Норманская2

1 International Baccalaureate, Финляндия, 2 ИСП РАН

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

11:40 - 12:00

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

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

Функциональные особенности падежных показателей в ваховском хантыйском языке (на материале базы современных полевых данных на платформе ЛингвоДок)

12:00 - 12:20

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

1 ИСП РАН, 2 Институт языкознания РАН

Связаны ли спряжение глаголов и ударение в марийском языке?

12:30 - 13:30

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

13:30 - 13:50

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

1 ИСП РАН

Анализ происхождения полисемии в уральских языках с помощью платформы «ЛингвоДок»: обско-угорские языки

13:50 - 14:10

Наталья Кошелюк1

1 ИСП РАН

LingvoDoc: возможности опции Phonology (на примере пуровского диалекта лесного ненецкого языка)

14:10 - 14:30

Ирина Молданова1

1 ИСП РАН

Хантыйские диалекты на рубеже 18–21 веков: лексические и фонетические различия

14:30 - 14:50

Виктория Куканова1

1 Калмыцкий научный центр РАН

Гласная Ӓ в калмыцком языке (на материале записей сказок Г. Й. Рамстедта)

14:50 - 15:10

Деляш Музраева1

1 Калмыцкий научный центр РАН

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

15:10 - 15:30

Заяна Чушкаева1

1 Калмыцкий научный центр РАН

Рефлексы прамонгольских гласных в южно-монгольских языках

15:30 - 16:00

Кофе-брейк (Зимний сад)

16:00 - 16:20

Саглара Мирзаева1

1 Калмыцкий научный центр РАН

Ойратская орфография и проблемы рефлексации комплексов с выпадающим –γ / -g

16:20 - 16:40

Алиса Есипова1

1 ИСП РАН

Шорский парсер: настоящее время на –чар в младописьменном шорском языке

16:40 - 17:00

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

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

Трёхъязычный словарь Г.Ф. Миллера «Описание живущих в Казанской губернии языческих народов, яко то черемис, чуваш и вотяков: с показанием их жительства, политического учреждения...», как источник для изучения татарского языка XVIII века

17:00 - 17:20

Светлана Микова1

1 РУДН

Автоматический анализ тональности русских аллегорических текстов: на материале притчи

17:20 - 17:40

Светлана Дерябина1, Ваньин Жэнь1, Юджения Нкетия1

1 РУДН

Изучение оформления русской звучащей речи ганскими и китайскими студентами в цифровом формате: лингводидактический аспект

17:20 - 17:40

Виктория Борченко1

1 РУДН

Потенциал применения системы Lingvodoc в практике обучения русской письменной речи иностранцев на начальном этапе

17:40 - 18:00

Анна Кан1, Александр Хорошилов2, Юрий Никитин2, Константин Колин2

1 ФГБУ НИЦ «Институт имени Н.Е. Жуковского», 2 ФИЦ ИУ РАН

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

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

Руководящий и программный комитет

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Белеванцев А.А., д.ф.-м.н., руководитель направления анализа и оптимизации программ ИСП РАН.
  • Гайсарян С.С., к.ф.-м.н., заведующий отделом компиляторных технологий ИСП РАН.
  • Гарбук С.В., к.т.н., и.о. директора ВИНИТИ РАН.
  • Петренко А.К., д.ф.-м.н., заведующий отделом технологий программирования ИСП РАН.
  • Прохоров С.П., к.ф.-м.н., председатель российского отделения IEEE Computer Society.
  • Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  • Турдаков Д.Ю., к.ф.-м.н., заведующий отделом информационных систем ИСП РАН.

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

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

Программный комитет секции «Управление данными и информационные системы»

  • Астраханцев Н.А. - к.ф.-м.н., Dropbox.
  • Гукасян Ц.Г. - к.ф.-м.н., РАУ, Армения.
  • Дробышевский М.Д. - к.ф.-м.н., научный сотрудник ИСП РАН.
  • Вохминцев А.В. - д.т.н., профессор ЧелГУ.
  • Жевненко Дмитрий Алексеевич - к.ф.-м.н., начальник лаборатории, АО НИИМЭ.
  • Кулямин В.В. - к.ф.-м.н., ведущий научный сотрудник ИСП РАН.
  • Курочкин И.И. - к.т.н., старший научный сотрудник ИППИ и ФИЦ ИУ РАН, доцент кафедры инженерной кибернетики МИСиС.
  • Коршунов А.В. - к.ф.-м.н., Quantum.uk.
  • Макаров И.А. - Ph.D., старший научный сотрудник НИУ ВШЭ.
  • Матвеев С.А. - к.ф.-м.н., ученый секретарь кафедры вычислительных технологий и моделирования МГУ.
  • Михайлов А.А. - к.т.н., старший научный сотрудник ИДСТУ СО РАН.
  • Норманская Ю.В. - д.ф.н., Институт Языкознания.
  • Ручай А.Н. - к.ф.-м.н., заведующий кафедрой компьютерной безопасности ЧелГУ.
  • Соченков И.В. - к.ф.-м.н., ведущий научный сотрудник ИСП РАН, ведущий научный сотрудник ИППИ РАН, ведущий научный сотрудник ФИЦ ИУ РАН.
  • Черных А.Н. - д.т.н., профессор компьютерных наук в CICESE Research Center (Мексика).

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

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

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

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

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

Регистрация


4 декабря проход на конференцию будет осуществляться через 6 подъезд (подъезд Большого зала), при себе нужно иметь паспорт.
5 декабря проход на конференцию будет осуществляться через 1 подъезд, при себе нужно иметь паспорт.

Публикации


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


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

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

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

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

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

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

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

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

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


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

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

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

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

В случае возникновения дополнительных вопросов обращайтесь по адресу scsec@ispras.ru.


Важные даты

  • Срок подачи статей: до 23:59 6 ноября 2023 г.
  • Уведомление о включении в программу: до 23:59 17 ноября 2023 г.
  • Регистрация участников: до 27 ноября 2023 г.
  • Готовые к публикации статьи: до 21 декабря 2023 г.


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

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


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А (Большой, Синий, Зеленый, Бежевый и Красный залы).

Детали

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

Важная информация

4 декабря проход на конференцию будет осуществляться через 6 подъезд (подъезд Большого зала), при себе нужно иметь паспорт.

5 декабря проход на конференцию будет осуществляться через 1 подъезд, при себе нужно иметь паспорт.