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

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

CRC Press, 2021.

Статья
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Глава в книге
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

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

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

arxiv.org. Computer Science. Cornell University, 2020

Приглашаем принять участие в ежегодной Открытой конференции ИСП РАН

Приглашаем всех принять участие в ежегодной Открытой конференции ИСП РАН, которая состоится 11-12 декабря в Москве, в инновационном кластере «Ломоносов»! В этом году она посвящена 30-летию института и 300-летию РАН.

Приглашаем принять участие в ежегодной Открытой конференции ИСП РАН

Открытая конференция ИСП РАН – это ведущее научно-практическое мероприятие в области системного программирования в России, уникальное объединение самых современных информационных технологий, высококвалифицированных экспертов и актуальных дискуссионных тем на одной площадке.
В числе организаторов: ИСП РАН, РАН, Академия криптографии РФ, НТЦ ЦК, ФПИ, IEEE, IEEE Computer Society. 
Оператор конференции: Медиа Группа «Авангард».
Предварительная программа уже на сайте: https://www.isprasopen.ru/#Agenda.
Регистрация участников до 23:59 6 декабря: https://www.isprasopen.ru/#Registration.
Подача статей и тезисов в рецензируемые секции до 23:59 1 ноября: https://www.isprasopen.ru/#Submission.
❗️Для докладчиков и слушателей участие бесплатное! 
По вопросам партнёрства и участия в выставке технологий: info@avangardpro.ru. По общим вопросам: scsec@ispras.ru.
🔥В 2023 году Открытая конференция ИСП РАН объединила 1000+ участников, 100+ докладов, 40+ выставочных стендов. Присоединяйтесь!