Октябрь 2018
Пн Вт Ср Чт Пт Сб Вс
« Сен    
1234567
891011121314
15161718192021
22232425262728
293031  

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

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

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

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

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

Аннотация

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

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

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

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

Оставить комментарий

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

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

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

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

Оставить комментарий