19/04/2016 ИСИ СО РАН
В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике
971 ИСИ СО РАН ИВМиМГ СО РАН СО РАН Информационные технологии Математика Новосибирск 19 апреля Институт систем информатики СО РАН проводит традиционную XI Ершовскую лекцию.
В этом году с Ершовской лекцией выступит известный российский специалист по системному программированию д.ф.-м.н., профессор Александр Константинович Петренко (внешняя ссылка). Тема его выступления – «Добротность программ».
Аннотация
Тема добротности программных систем не нова, всегда актуальна, тем не менее уровень добротности большей части окружающих нас систем пока оставляет желать большего (в частности, на эту тему есть работы Игоря Васильевича Поттосина). На основе небольшого ретроспективного анализа будут высказаны предположения о перспективах появления и распространения добротных систем и рассмотрены новые технологии, от которых можно ожидать прогресса в этой области информационных технологий.
Место проведения – конференц-зал ИВМиМГ СО РАН (1 этаж)
Время: 19 апреля с 11:00 до 13:00.
Приглашаются все интересующиеся теоретическим и системным программированием.