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

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

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

Статья
Исследовательский поиск научных статей

Недумов Я. Р., Кузнецов С. Д.

Труды Института системного программирования РАН. 2018. Т. 30. № 6. С. 171-198.

Глава в книге
Test Program Generator MicroTESK for RISC-V

Kamkin A., Чупилко М. М., Смолов С. А. et al.

In bk.: 2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV). Austin: IEEE Computer Society, 2018. P. 6-11.

Препринт
Темпоральные расширения в стандарте 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/