Общероссийский семинар «Информатика, управление и системный анализ»

ОБЩЕРОССИЙСКИЙ СЕМИНАР «ИНФОРМАТИКА, УПРАВЛЕНИЕ И СИСТЕМНЫЙ АНАЛИЗ»
под общим руководством
Академика РАН Юрия Ивановича Журавлева,
Академика РАН Евгения Ивановича Моисеева,
Академика РАН Станислава Николаевича Васильева,
Члена-корреспондента РАН Юрия Соломоновича Попкова
организатор и ученый секретарь семинара
профессор Михаил Васильевич Ульянов

Сайт семинара: www.commonmind.ru

ЗАСЕДАНИЕ № 18

Вторник 22 декабря 2015 г. в 17-30 в ауд. 685 ВМК МГУ
ПОВЕСТКА ДНЯ

1.Научный доклад:
«АКТУАЛЬНЫЕ ПРОБЛЕМЫ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ»

Докладчик:
научный руководитель Института системного программирования РАН, академик РАН
ИВАННИКОВ ВИКТОР ПЕТРОВИЧ

Аннотация

В докладе рассматриваются следующие направления:
— верификация программ;
— большие данные;
— информационная безопасность.