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

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

Аннотация

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

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

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

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

Источники

XI Ершовская лекция по информатике
ИСИ СО РАН (iis.nsk.su), 19/04/2016

Похожие новости

  • 22/06/2017

    Участники «Технопрома» - о развитии и применении искусственного интеллекта

    ​Глубинное обучение (Deep Learning) - область машинного обучения, которая активно развивается последние годы. Конечно, это не тот искусственный интеллект, который представляют себе фантасты, но уже сегодня многие алгоритмы решают задачи биомедицины, машиностроения, обработки естественного языка.
    1454
  • 23/12/2019

    Цифровой керн и искусственный интеллект продемонстрируют в рамках проекта «Академгородок 2.0»

    ​​24 декабря состоится пресс-тур в институты ННЦ, посвященный планам создания Сибирского национального Центра высокопроизводительных вычислений, обработки и хранения данных (СНЦ ВВОД). В ходе пресс-тура представители СМИ ознакомятся с деятельностью научных институтов СО РАН по созданию СНЦ ВВОД.
    490
  • 16/12/2019

    ИВМиМГ СО РАН принимает участие в реализации проекта «Базовые школы РАН»

    ​10 декабря 2019 в Лицее №130 имени академика М.А. Лаврентьева врио директора ИВМиМГ СО РАН д.ф.-м.н. Михаил Марченко прочитал лекцию "Компьютерное моделирование как метод проведения эксперимента" для ребят из 10-го математического класса.
    405
  • 22/04/2020

    Загнать в формулу: почему COVID-19 ставит ученых в тупик

    ​Когда и чем закончится эпидемия коронавируса? Какие из многих вариантов борьбы с ним надо выбрать, чтобы выйти из кризиса с наименьшими потерями? Ответ на эти вопросы сегодня ждут прежде всего от математиков, которые строят прогнозы на основании компьютерных моделей.
    1120
  • 20/10/2015

    Интеллект глобального уровня

    ​Эти слова можно понимать двояко. С одной стороны, в мире создаются вычислительно-аналитические системы гигантской мощности, способные моделировать планетарные процессы. С другой стороны, такие достижения "стоят на плечах гигантов" - интеллектуалов мирового класса, превративших вычисления из сервиса в большую науку.
    2960
  • 17/07/2020

    СО РАН направляет в Арктику большую норильскую экспедицию

    ​​Группа ученых из Российской академии наук всесторонне изучит экологическую среду территории и представит предложения и рекомендации по наилучшим природосберегающим решениям для деятельности промышленных компаний в Арктическом регионе.
    1163
  • 30/06/2016

    Приказ ВАК о создании объединенного диссертационного совета на базе ИСИ СО РАН, ИВМиМГ СО РАН, ИМ СО РАН

    Приказом ВАК от 24 июня 2016 г. № 793/нк выдано разрешение на создание объединенного диссертационного совета Д 999.082.03 по защитам диссертаций на соискание ученой степени кандидата наук, на соискание ученой степени доктора наук.
    2024
  • 02/07/2018

    Проект Сибирского суперкомпьютерного центра представили на президиуме РАН

    ​В Москве обсудили развитие суперкомпьютерных цифровых технологий в Российской Федерации. Научный руководитель Сибирского суперкомпьютерного центра (ССКЦ), директор Института вычислительной математики и математической геофизики СО РАН СО РАН член-корреспондент РАН Сергей Игоревич Кабанихин на заседании президиума РАН отметил, что сегодня суперкомпьютеры представляют собой технологическое оружие.
    1632
  • 31/08/2020

    Почему IT-сфера является одной из ключевых для Новосибирской области?

    ​​​IT-отрасль Новосибирской области по динамике развития, количеству организаций, а также численности и качеству кадров входит в первую десятку регионов России​. Производство валового регионального продукта в Новосибирской области в сфере информации и связи растет год к году.
    359
  • 17/04/2019

    «Академический час для школьников»: лекция «Математическое моделирование физических процессов»

     17 апреля в 15:00 в Малом зале Дома ученых СО РАН состоится лекция члена-корреспондента РАН Сергея Игоревича Кабанихина «Математическое моделирование физических процессов».  Сергей Игоревич Кабанихин, член-корреспондент РАН, профессор, советский и российский математик, специалист в области вычислительной математики, создания, исследования и применения численных методов решения обратных задач математической физики.
    853