В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике | Построй свой дом
Построй свой дом

В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике

19/04/2016 ИСИ СО РАН

В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике

971 ИСИ СО РАН ИВМиМГ СО РАН СО РАН Информационные технологии Математика Новосибирск ​19 апреля Институт систем информатики СО РАН проводит традиционную XI Ершовскую лекцию.

В этом году с Ершовской лекцией выступит известный российский специалист по системному программированию д.ф.-м.н., профессор Александр Константинович Петренко (внешняя ссылка). Тема его выступления – «Добротность программ».

Аннотация

Тема добротности программных систем не нова, всегда актуальна, тем не менее уровень добротности большей части окружающих нас систем пока оставляет желать большего (в частности, на эту тему есть работы Игоря Васильевича Поттосина). На основе небольшого ретроспективного анализа будут высказаны предположения о перспективах появления и распространения добротных систем и рассмотрены новые технологии, от которых можно ожидать прогресса в этой области информационных технологий.

Место проведения – конференц-зал ИВМиМГ СО РАН (1 этаж)

Время: 19 апреля с 11:00 до 13:00.

Приглашаются все интересующиеся теоретическим и системным программированием.

В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике

19/04/2016 Новости институтов , Конференции

В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике

970 ИСИ СО РАН ИВМиМГ СО РАН СО РАН Информационные технологии Математика Новосибирск ​19 апреля Институт систем информатики СО РАН проводит традиционную XI Ершовскую лекцию. (далее…)