ОБЩЕРОССИЙСКИЙ СЕМИНАР «ИНФОРМАТИКА, УПРАВЛЕНИЕ И СИСТЕМНЫЙ АНАЛИЗ»
под общим руководством
Академика РАН Юрия Ивановича Журавлева,
Академика РАН Евгения Ивановича Моисеева,
Академика РАН Станислава Николаевича Васильева,
Члена-корреспондента РАН Юрия Соломоновича Попкова
организатор и ученый секретарь семинара
профессор Михаил Васильевич Ульянов
Сайт семинара: www.commonmind.ru
ЗАСЕДАНИЕ № 18
Вторник 22 декабря 2015 г. в 17-30 в ауд. 685 ВМК МГУ
ПОВЕСТКА ДНЯ
1.Научный доклад:
«АКТУАЛЬНЫЕ ПРОБЛЕМЫ СИСТЕМНОГО ПРОГРАММИРОВАНИЯ»
Докладчик:
научный руководитель Института системного программирования РАН, академик РАН
ИВАННИКОВ ВИКТОР ПЕТРОВИЧ
Аннотация
В докладе рассматриваются следующие направления:
— верификация программ;
— большие данные;
— информационная безопасность.