Институт системного программирования им. В.П. Иванникова РАН


Мероприятия

Открытая конференция ИСП РАН

В рамках Открытой конференции ИСП РАН проводятся мероприятия по направлениям IT-индустрии, в которых ИСП РАН накоплен многолетний опыт при выполнении фундаментальных исследований, разработок инновационных технологий, а также реализации совместно с индустриальными партнерами конкретных проектов по внедрению разработанных технологий в промышленность.

Весенняя конференция молодых ученых по программной инженерии (Spring Young Researchers Colloquium on Software Engineering - SYRCoSE)

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

Международный семинар по тестированию на основе моделей (Model Based Testing - MBT)

Семинар посвящен тестированию на основе моделей как программного, так и аппаратного обеспечения. В тестировании на основе моделей используются модели, описывающие требуемое поведение системы для управления такими действиями как отбор тестов и оценки результатов тестирования. Тестирование подтверждает работу реальной системы, и проверяет, что реализация системы соответствует построенной модели, а также используется для поиска ошибок в самой модели.

Linux Driver Verification Workshop

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

Московский городской семинар по Технологиям разработки и анализа программ

Заседания семинара посвящены современным проблемам программной инженерии, методам и инструментам разработки, анализа и тестирования программ.

SYRCoDIS - Весенний Коллоквиум Исследователей в Области Баз Данных и Информационных Систем

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

Научно-практическая конференция разработчиков ОС "OS Day"

На конференции OS Day российские специалисты в ИТ-сфере представят отечественные разработки системного и инструментального программного обеспечения, обсудят возможности совместного создания российских программных продуктов, задачи импортозамещения в области ПО.