Октябрь 2020
Пн Вт Ср Чт Пт Сб Вс
« Сен    
 1234
567891011
12131415161718
19202122232425
262728293031  
Свежие записи

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

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

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

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

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

Аннотация

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

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

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

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

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

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

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

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

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

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