• 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

ИВАННИКОВСКИЕ ЧТЕНИЯ

Мероприятие завершено
Приглашаем вас принять участие в Международной конференции «Иванниковские чтения». Конференция пройдет 13-14 сентября 2019 года в Великом Новгороде.
Цель мероприятия – обмен опытом разработки и внедрения инновационных технологий в области системного программирования, повышение профессиональной квалификации участников.

Двухдневная встреча экспертов отрасли проводится ежегодно в память академика В.П. Иванникова – выдающегося учёного, который основал ИСП РАН в 1994 году. За 25 лет Институт стал одним из ведущих российских центров в области системного программирования, разработке соответствующих технологий и их дальнейшего внедрения при выполнении конкретных проектов с участием крупных российских и зарубежных компаний (Samsung Group, Hewlett Packard Enterprise, Huawei Technologies Co. Ltd., NVIDIA Corporation, «НПО РусБИТех» и др.).

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

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

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

  • «Proceedings of Ivannikov Workshop» (статьи сборника размещаются в электронной библиотеке IEEE Xplore и индексируются в международных индексах научного цитирования Web of Science и Scopus);
  • «Труды ИСП РАН» (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156), который входит в список научных журналов ВАК, а также индексируется в Российском индексе научного цитирования (РИНЦ) и КиберЛенинке.

Секции:

  • Технологии анализа, моделирования и трансформации программ.
  • Управление данными и информационные системы.
  • Высокопроизводительные вычисления.
  • Системное ПО и операционные системы.
Важные даты:

Срок подачи статей: до 10 июля 2019 г.
Уведомление о включении в программу: до 5 августа 2019 г.
Готовые к публикации статьи: до 20 августа 2019 г.
Регистрация участников: до 27 августа 2019 г.


Подробнее об условиях участия – на официальном сайте: http://ivannikov-ws.org/