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

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

Аннотация

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

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

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

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

Источники

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

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

  • 22/06/2017

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

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

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

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

    Инновационная среда #6. Большие цифровые вызовы в современной науке

    ​Развитие многих наук в последние десятилетия зависит от суперкомпьютерного моделирования и расчетов. Это демонстрируют генетика, биотех, материаловедение, аэро-гидродинамика и другие направления. Заказчиками вычислений давно являются не только научные организации, но и компании, занимающиеся R&D.
    207
  • 16/12/2019

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

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

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

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

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

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

    Новосибирские ученые моделируют болезнь

    ​Работая с пациентом, врач анализирует симптомы, определяет заболевание и прописывает лекарства, но стандартная схема лечения эффективна не для всех. Дело в том, что организм каждого человека имеет свой иммунный ответ, зависящий от истории болезней и характеристик иммунокомпетентных клеток.
    1905
  • 22/01/2021

    Созданную в Новосибирске модель распространения COVID-19 модифицируют с помощью нейросетей

    Учёные Института вычислительной математики и математической геофизики (ИВМиМГ) СО РАН в рамках гранта президента РФ модифицируют математическую модель распространения коронавируса в России с помощью нейросетей.
    609
  • 17/07/2020

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

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

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

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