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

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

Аннотация

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

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

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

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

Источники

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

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

  • 22/06/2017

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

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

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

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

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

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

    Цифровая экономика как предмет анализа ученых

    ​В новосибирском Академгородке начала работу XVI российская конференция "Распределенные информационно-вычислительные ресурсы. Наука - цифровой экономике" (DICR-2017). Представительный форум проходит на площадке Института вычислительных технологий СО РАН, научный руководитель которого, академик Юрий Иванович Шокин конкретизировал предмет обсуждений: "Речь идет о "кусочке" экономики, связанном с цифровыми технологиями, способном существенно помочь развитию всей страны".
    1868
  • 16/12/2019

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

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

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

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

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

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

    Цифровую трансформацию социально-экономических систем обсудили в Новосибирске

    ​На круглом столе, прошедшем в рамках VII Международного форума технологического развития и выставки «Технопром», ученые, представители власти и бизнеса обсудили перспективы развития и применения современных численных математических моделей, методов обработки больших данных и программных средств в практике инфраструктурного развития города.
    255
  • 14/05/2018

    Ученые ИВМиМГ СО РАН рассказали о методах анализа и оптимизации транспортной сети

    ​Не так давно в Новосибирске, на форуме "Городские технологии-2018", специалисты разных отраслей обсуждали задачи, решение которых академической наукой может сделать городскую среду более комфортной и безопасной.
    647
  • 20/10/2015

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

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