• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
Моделирование и верификация политик безопасности управления доступом в операционных системах

Девянин П. Н., Ефремов Д. В., Кулямин В. В. и др.

М.: Научно-техническое издательство «Горячая линия – Телеком», 2019.

Статья
Управление требованиями к ответственным системам. Обзор решений.

Горелиц Н. К., Кильдишев Д. С., Хорошилов А. В.

Труды Института системного программирования РАН. 2019. Т. 31. № 1. С. 25-48.

Глава в книге
Систематический подход к изложению темы "Файлы и файловые системы" в теоретических курсах по информационным технологиям.

Карпов В. Е.

В кн.: Тезисы докладов XXVI Международной конференции "Математика. Компьютер. Образование". МКО-2019. 2019.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

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

Мероприятие завершено
Приглашаем вас принять участие в Международной конференции «Иванниковские чтения». Конференция пройдет 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/