Институт систем информатики имени А.П. Ершова СО РАН, Механико-математический факультет Новосибирского государственного университета и Институт AIRI (г. Москва) в год 95-летия со дня рождения академика Андрея Петровича Ершова проводят 14-15 мая 2026 г. Мемориальные Ершовские чтения, в рамках которых состоится XXI лекция ежегодного цикла лекций по информатике и программированию памяти основателя сибирской школы программирования академика Андрея Петровича Ершова.
15 мая 2026 года Ершовскую лекцию прочитает Иван Валерьевич Оселедец, д.ф.-м.н., профессор РАН, генеральный директор Института AIRI, декан факультета искусственного интеллекта МГУ.
Место проведения
Новосибирский государственный университет, Корпус потоковых аудиторий (ул. Пирогова, 3), аудитория 214.
Для участия в мероприятии требуется регистрация.
Зарегистрироваться на Мемориальные Ершовские чтения и Ершовскую лекцию
Программа Мемориальных Ершовских чтений
14 мая
- 10:00-10:45. Л.В. Городняя (ИСИ СО РАН).
Аннотация. В докладе рассматриваются предпосылки школьной дисциплины «Информатика», актуальные цели и задачи, связанные с отставания технологий программирования от прогресса элементной базы современных компьютеров. Описана роль выдвинутого академиком А.П.Ершовым лозунга «Программирование — вторая грамотность», опыта Школ юных программистов (ШЮП) и участия выпускников ШЮП в разработке программного обеспечения школьного учебного процесса, выполненной при поддержке хоздоговоров и ВНТК «Школа-1». Система Школ юных программистов включала летние (ЛШ) и заочная на страницах журнала Квант на базе языков РОБИК и РАПИРА с ясными ступенями обучения. Приведена небольшая справка относительно интереса к учебным языкам в наши дни.
- 10:45-11:30. А.Г. Марчук, Т.И. Тихонова (ИСИ СО РАН).
Аннотация. В докладе будет рассказано о Летней школе юных программистов имени академика А.П. Ершова. С 1976 года по инициативе Андрея Петровича Ершова была организована Летняя школа юных программистов. С момента организации ЛШЮП менялись формы и методические особенности проведения занятий. Численность участников варьировалась, менялась техника. Изначально были потоковые занятия с начинающими и уже «продвинутыми» школьниками, консультанты из Академгородка. Следующим этапом стали мастерские. От нескольких минут практики на БЭСМ-6 до многочасового программирования на персональных компьютерах прошло 50 лет. Однако самое главное – атмосфера сотрудничества, направленная на формирование устойчивого стремления к самообразованию, помощь в профессиональной ориентации, основанная на практической деятельности, дающей представление о выбранной профессии, осознанный выбор жизненного пути, развитие творческих способностей, социализация – бережно хранятся и работают. Коллектив участников Летней школы юных программистов – это не только соратники по профессии, но и объединенные в сообщество единомышленники.
- 11:30-13:00. И.С. Ануреев, Н.О. Гаранина, Д.А. Кондратьев, А.В. Промский и Н.В. Шилов (ИСИ СО РАН).
Аннотация. Становление и развитие исследований по спецификации и верификации программ (со времени создания в 1958 г. Отдела программирования в Институте математики СО АН СССР) всегда соответствовало мировому уровню работ в данной области. Начиная с 1980 г. можно говорить о новосибирской школе по спецификации и верификации программ. Её развитие связано с именем Валерия Александровича Непомнящего (07.08.1939 — 25.12.2021). В статье дан обзор тематики и результатов, полученных в школе В.А. Непомнящего, начиная с 1980 г. по настоящее время, с особым акцентом на обзор и актуальность современных исследований по спецификации и верификации программ.
- 13:00-14:20. Обеденный перерыв
- 14:20-15:00. А.С. Морозов (ИМ СО РАН).
Аннотация: Изучаются и сравниваются возможности, предоставляемые для определения алгебраических структур (типов данных), двумя неэквивалентными подходами к обобщённой вычислимости над вещественными числами: Сигма-определимостью в наследственно конечной надстройке и вычислимостью на машинах Блюм-Шуба-Смейла, работающих в бесконечном времени (ITBM-вычислимостью).
- 15:00-16:00 Д.И. Свириденко (ЦИИ НГУ).
Аннотация. Излагается новая научно-инженерная дисциплина — задачный инжиниринг (Task Engineering), объединяющая на методологическом уровне задачный подход, нейросимвольные методы и агентный ИИ. Дисциплина интегрирует классическую инженерию знаний, нейросимвольные методы и мультиагентные системы. Рассматривается проблема автоматизации процессов перехода от неструктурированных потребностей к 6-компонентной модели задачи и к доверенному решению с помощью гибридной мультиагентной архитектуры. Приводятся примеры применения в быту, образовании, медицине, коммерции, промышленности, науке и инженерии.
- 16:00-17:00. Дискуссия.
15 мая
- 09:30-10:10. В.Н. Касьянов, Е.В. Касьянова (ИСИ СО РАН).
Аннотация. Доклад посвящен исследованиям, выполняемых по госзаданию лабораторией конструирования и оптимизации программ Института систем информатики им. А.П. Ершова СО РАН и направленных на разработку методов и средств повышения эффективности и надежности конструирования программ и систем на основе теоретико-графовых моделей и методов.
- 10:10-11:00. И.С. Углянский (НИЦ компании Huawei). Проект Valhalla: как добавить в Java value-классы, не превратив ее в C++
- 11:00-11:20. Кофе-брейк
- 11:20-12:10. Д.А. Кондратьев (ИСИ СО РАН).
В настоящее время искусственный интеллект, основанный на нейронных сетях, стал активно применяться в программном обеспечении систем, к надежности и корректности которых предъявляются повышенные требования. В качестве примера таких систем можно привести беспилотные авиационные системы, беспилотные транспортные системы, роботизированные системы, экспертные системы в банковской сфере и т.д. Традиционно для проверки корректности и надежности программного обеспечения применяется тестирование. Но известно, что тестирование не может гарантировать корректность программ. Это может сделать только формальная верификация, которая позволяет формально доказать, что программа корректна относительно своих спецификаций. Формальную верификацию можно применить и к нейронным сетям, чтобы сделать основанный на них искусственный интеллект доверенным. В отличие от тематики формальной верификации программного обеспечения общего назначения, тематика формальной верификации нейронных сетей начала активно развиваться относительно недавно. Итого, проблема формальной верификации систем искусственного интеллекта, основанных на нейронных сетях, является актуальной. В данном докладе будет рассмотрено наше исследование по созданию комплексного подхода к формальной верификации систем искусственного интеллекта, основанных на нейронных сетях, созданный ранее в Институте систем информатики им. А.П. Ершова СО РАН теоретический и практический задел для нашего исследования, преимущества нашего исследования перед новейшими зарубежными исследованиями и перспективы нашего исследования.
- 12:10-13:00. И.С. Ануреев (ИСИ СО РАН).
Аннотация: В докладе будет представлен предметно-ориентированный язык, который позволяет строить онтологию языка программирования и описывать выполнимую операционную семантику онтологических моделей конструкций языка программирования. В качестве примера будет рассмотрена операционная семантика операторов передачи управления языка Си.
- 13:00-14:20. Обеденный перерыв
- 14:20-15:10.
С.В. Селиванова (ИСИ СО РАН).
Аннотация: Доклад посвящен классификации дифференциальных уравнений по их битовой сложности в зависимости от класса функций, к которым принадлежат начальные данные и коэффициенты, а также ее применению к вычислению решений с произвольной гарантированной точностью. Подход основан на концепциях вычислимого анализа и классической теории сложности; вычисления производятся в специальных программных пакетах со встроенной высокоточной арифметикой на вещественных числах.
- 15:10-16:00. В.С. Фишман (ИЦиГ).
Доклад посвящён ДНК-языковым моделям — нейросетям, которые учатся “читать” геномные последовательности подобно тому, как LLM работают с естественным языком. Такие модели позволяют извлекать скрытые закономерности из больших массивов геномных данных без ручной разметки и применять их для предсказания свойств генов, вариантов и регуляторных элементов. Особое внимание будет уделено практическим применениям: дизайну последовательностей для генной терапии, приоритизации генетических вариантов и ускорению исследований в медицине и биотехнологии.
- 16:00-16:20. Кофе-брейк
- 16:20-18:20. XXI Ершовская лекция, лектор И.В. Оселедец (Институт AIRI). Развитие мультиагентных систем.