• 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

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

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

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

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

Она состоится 4-5 декабря 2023 года в Главном здании РАН в Москве и будет посвящена 75-летию отечественных информационных технологий. Конференция традиционно проводится при поддержке IEEE и IEEE Computer Society. Избранные статьи будут опубликованы в электронной библиотеке IEEE Xplore Digital Library. Русскоязычные статьи или переводы могут быть опубликованы в журналах "Труды ИСП РАН" и "Программирование", которые входят в Перечень ВАК.

✔️Для участия в конференции необходимо зарегистрироваться.

Зарегестрироваться

‼️Статьи и тезисы подаются через интернет-систему EasyChair. Всё о правилах оформления материалов — здесь.

⏳Важные даты (обратите внимание, что сроки переноситься не будут):
- Срок подачи статей: до 23:59 1 ноября 2023 г.
- Уведомление о включении в программу: до 14 ноября 2023 г.
- Регистрация участников: до 27 ноября 2023 г.
- Готовые к публикации статьи: до 14 декабря 2023 г.

В рамках конференции предусмотрены пять секций научных докладов:
- Технологии анализа, моделирования и трансформации программ
- Управление данными и информационные системы
- Решение задач механики сплошных сред с использованием СПО
- САПР микроэлектронной аппаратуры
- Лингвистические системы анализа

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

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