• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Глава в книге
City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

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

Мероприятие завершено

Уважаемые коллеги!

Приглашаем вас принять участие в конференции!

Открытая конференция ИСП РАН им. В.П. Иванникова посвящена разработке инновационных технологий в области системного программирования и проводится ежегодно при поддержке IEEE, IEEE Computer Society, Российской академии наук, Фонда перспективных исследований, ФСТЭК России, а также партнёров института (Samsung, Huawei, Dell и др.). В этом году конференция приурочена к Году науки и технологий в России.

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

Дата и место проведения: 2-3 декабря 2021 г., Москва, Ленинский проспект, д. 32А, Главное здание РАН (подъезд 1, этаж 3, Синий, Зеленый, Бежевый и Красный залы). Место может быть изменено в зависимости от эпидемиологической ситуации; возможно проведение конференции в онлайн-режиме.

Организаторы: РАН, ИСП РАН, ФПИ, IEEE, IEEE Computer Society.

Темы секций:

  • «Технологии анализа, моделирования и трансформации программ»;
  • «Управление данными и информационные системы»;
  • «Решение задач механики сплошных сред с использованием СПО»;
  • «Цифровая медицина», которая откроется круглым столом.

Кроме того, в рамках конференции состоятся еще два круглых стола:

  • «Анализ программ в жизненном цикле безопасного ПО»;
  • «Открытые САПР микроэлектронной аппаратуры».

Важные даты:

  • Срок подачи статей: до 25 октября 2021 г. (23:59, GMT+3).
  • Уведомление о включении в программу: до 8 ноября 2021 г.
  • Готовые к публикации статьи: до 15 ноября 2021 г.
  • Регистрация участников: до 25 ноября 2021 г.

Публикации

Чтобы принять участие в мероприятии в качестве докладчика, необходимо прислать статью или тезисы, отражающие результаты проделанной работы. Материалы подаются через EasyChair. Участие бесплатное. Получение положительных отзывов дает право одному из авторов статьи выступить на конференции и разместить свою работу в сборниках, которые индексируются в Web of Science, Scopus, РИНЦ, Google Scholar и др. Публикация тезисов не предусмотрена.

Подробности – на сайте https://www.isprasopen.ru/.
Для участия в конференции необходимо зарегистрироваться.

Информационное письмо (PDF, 355 Кб)

По всем вопросам просьба обращаться по e-mail scsec@ispras.ru.