Информация для докладчиков

Прием заявок на доклады заканчивается 12 мая в 15.00

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

Мы принимаем заявки на доклады по вопросам разработки, сертификации и эксплуатации операционных систем:

• Технологии анализа, моделирования и трансформации программ для создания безопасного программного обеспечения: формальные модели безопасности; верификация моделей безопасности; выявление скрытых каналов; обфускация ОС; архитектура, разработка и верификация подсистемы безопасности ОС. 
• Инструменты жизненного цикла критического ПО: анализ исходного и бинарного кода; обнаружение уязвимостей; управление жизненным циклом; технологии сборки и портирования ПО.
• Разработка и сертификация операционных систем в различных доменах: ОС общего назначения; встраиваемые ОС для систем управления; ОС реального времени; операционные платформы для “Интернета вещей”.
• Архитектура операционных систем: новые подходы к конструированию и организации операционных платформ и компонентов ОС; методы и технологии моделирования, анализа и верификации ОС и компонентов ОС.

Для заявки на доклад просьба прислать: имя, отчество, фамилию, тему доклада, краткую аннотацию (от 500 знаков) и тезисы доклада длиной 1-2 страницы в формате pdf, odt, doc/docx.

Просим до 12 мая прислать заявку на доклад по адресу: osday@ispras.ru или заполнить форму на сайте.

Уведомление о включении доклада в программу конференции будет прислано до 16 мая.

По итогам конференции Программный комитет может рекомендовать к публикации полные статьи в журналах «Труды ИСП РАН» или «Системный администратор». Оба издания входят в Перечень ВАК и индексируются в Российском индексе научного цитирования (РИНЦ). Также есть договоренности со СМИ-инфопартнерами о публикациях ваших материалов по выбору редакции.