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