Все семинары
Институт систем информатики имени А.П. Ершова СО РАН, Механико-математический факультет Новосибирского государственного университета и Институт AIRI (г. Москва) в год 95-летия со дня рождения академика Андрея Петровича Ершова проводят 14-15 мая 2026 г. Мемориальные Ершовские чтения, в рамках которых состоится XXI лекция ежегодного цикла лекций по информатике и программированию памяти основателя сибирской школы программирования академика Андрея Петровича Ершова.
15 мая 2026 года лекцию прочитает Иван Валерьевич Оселедец, д.ф.-м.н., профессор РАН, генеральный директор Института AIRI, декан факультета искусственного интеллекта МГУ .
Тема: Развитие мультиагентных систем
Место проведения - Новосибирский госуниверситет, аудитория 214 корпуса поточных аудиторий НГУ (ул. Пирогова, 3), время - 16:20 15 мая.
Для участия в мероприятиях необходимо зарегистрироваться.
19 апреля 2026 г. исполнилось 95 лет со дня рождения основателя сибирской школы программирования академика Андрея Петровича Ершова(1931–1988).
В ознаменование этой даты Институт систем информатики имени А.П. Ершова СО РАН, Механико-математический факультет Новосибирского государственного университета и Институт AIRI (г. Москва) в год 95-летия со дня рождения академика Андрея Петровича Ершова проводят 14-15 мая 2026 г. Мемориальные Ершовские чтения, в рамках которых состоится XXI лекция ежегодного цикла лекций по информатике и программированию.
Место проведения - Новосибирский госуниверситет, аудитория 214 корпуса поточных аудиторий НГУ (ул. Пирогова, 3). Начало Ершовских чтений - 14 мая в 10:00.
Приглашаются все желающие. Для участия в мероприятиях требуется регистрация.
Во вторник 12 мая 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Павел Сусленков (студент ММФ НГУ)
Тема: Cемантический анализ интервальных конгруэнтностей.
Доклад посвящён изложению результатов работы Ф. Мадюпюи (1995) по созданию нового метода статического анализа целочисленных переменных программ — семантического анализа интервальных конгруэнтностей. В основе метода лежит аппарат абстрактной интерпретации (Кузо). Автор решает проблему синтеза двух классических, но независимых подходов: интервального анализа (дающего диапазоны значений) и анализа отношений конгруэнтности (дающего периодические свойства вида x≡a(modb)). Предлагаемый единый абстрактный домен интервальных конгруэнтностей (IC) обобщает оба подхода. В докладе вводятся множества CC и IC, функции абстракции и конкретизации, оператор расширения ∇
12 мая в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Дмитрий Иванович Свириденко, д.ф.-м.н., Исследовательский центр в сфере искусственного интеллекта НГУ
Тема доклада: Задачный инжиниринг – методологический вариант гибридного ИИ
Излагается новая научно-инженерная дисциплина – задачный инжиниринг (Task Engineering), объединяющая на методологическом уровне задачный подход, нейросимвольные методы и агентный ИИ. Дисциплина интегрирует классическую инженерию знаний, нейросимвольные методы и мультиагентные системы. Рассматривается проблема автоматизации процессов перехода от неструктурированных потребностей к 6-компонентной модели задачи и к доверенному решению с помощью гибридной мультиагентной архитектуры. Приводятся примеры применения в быту, образовании, медицине, коммерции, промышленности, науке и инженерии.
В четверг 7 мая 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.).
Начало: 10:00.
Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Василенко Никита Константинович (ИСИ СО РАН)
Тема: Методы оптимизации баз данных с использованием генеративных подходов машинного обучения (кандидатская диссертация)
Докладчик: Коломникова Дарья Юрьевна (НГУ, ММФ)
Тема: Исследование возможностей моделей глубокого обучения различных архитектур для анализа эпистатических взаимодействий замен в белках (магистерская диссертация)
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 5 мая 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Матвей Сергеевич Агибалов (студент ММФ НГУ)
Тема: На пути к дедуктивной верификации реализаций умножения матриц с направленными на повышение эффективности использования кэш-памяти оптимизациями.
Задача повышения производительности умножения матриц является актуальной задачей современного программирования. При решении данной задачи в программном коде умножения матриц реализуют оптимизации, что затрудняет анализ полученных реализаций и может приводить к появлению в них ошибок. Гарантировать корректность программного кода относительно спецификаций, описывающих результат работы программы в зависимости от ее входных данных, может только дедуктивная верификация. Итого, задача дедуктивной верификации реализаций умножения матриц с направленными на повышение производительности оптимизациями является актуальной. В данном докладе будет представлен первоначальный этап исследования, нацеленный на дедуктивную верификацию реализаций классического умножения матриц с направленными на повышение эффективности использования кэш-памяти оптимизациями.
Во вторник 28 апреля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Александр Андреевич Харьков (студент ММФ НГУ)
Тема: Ott: инструмент для автоматизации формального описания языков программирования
В докладе рассматривается Ott - инструмент для автоматизации формального описания синтаксиса и семантики языков программирования. Показано, как Ott позволяет, один раз описав формальную систему целевого языка на специальном метаязыке, автоматически генерировать её представления для различных целей: формальных доказательств (Coq, Isabelle/HOL), прототипирования (OCaml) и подготовки публикаций (LaTeX). Отмечена роль Ott в сокращении трудоёмкости создания спецификаций, минимизации ошибок при ручном кодировании и обеспечении согласованности между разными версиями описания языка.
28 апреля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Ирина Александровна Крайнева, д.и.н., в.н.с. Лаборатории информационных систем ИСИ им. А.П. Ершова СО РАН
Тема доклада: Новости истории информатики
Отчет о Международной конференции Российского национального комитета по истории и философии науки и техники, секция истории информатики и вычислительной техники (РНКИФНТ), Москва, 30.03–03.04. 2026. Краткое изложение докладов И.А. Крайневой, представленных на секции (К истории проекта ЕС ЭВМ: несостоявшееся сотрудничество (1967–1970 гг.) и на пленарном заседании (Роль ВПК в развитии отечественной индустрии цифровой вычислительной техники).
Ссылка на трансляцию: https://telemost.yandex.ru/j/71995603339428
В четверг 23 апреля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Матренин Павел Викторович (Уральский федеральный университет)
Тема: Методологические основы создания доверенных интеллектуальных систем прогнозирования временных рядов в задачах электроэнергетики (докторская диссертация)
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 28 апреля в 14.30 состоится заседание N 1029 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: С.В. Попов
Тема: Реферат статьи Roos M. Bakker, Daan L. Di Scala and Maaike H. T. de Boer "Ontology Learning from Text: an Analysis on LLM Performance" (NLP4KGC: 3rd International Workshop on Natural Language Processing for Knowledge Graph Creation in conjunction with SEMANTiCS 2024 Conference. , September 17–19, 2024, Amsterdam, The Netherlands)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 21 апреля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Лев Константинович Бояндин (студент ММФ НГУ)
Тема: Обзор предметно-ориентированного языка PLT Redex
Доклад представляет собой обзор языка PLT Redex, созданного для определения и отладки (то есть тестирования) операционных семантик языков программирования. Будет рассказано об идеологии проекта, (немного) о теоретической основе, текущем его состоянии, его применении в научных исследованиях и на практике, а также об использовании Redex на примере простого игрушечного языка.
В четверг 16 апреля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Лисин Владислав Александрович (НГУ)
Тема: Методы разработки информационных систем поддержки научных исследований на основе онтологий с использованием инструментов анализа текстовых корпусов и мультимодальных ресурсов
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
14 апреля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Дмитрий Александрович Кондратьев, к.ф.-м.н., научный сотрудник Лаборатории теоретического программирования ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Комплексный подход к формальной верификации систем искусственного интеллекта, основанных на нейронных сетях»
В настоящее время искусственный интеллект, основанный на нейронных сетях, стал активно применяться в программном обеспечении систем, к надежности и корректности которых предъявляются повышенные требования. В качестве примера таких систем можно привести беспилотные авиационные системы, беспилотные транспортные системы, роботизированные системы, экспертные системы в банковской сфере и т.д. Традиционно для проверки корректности и надежности программного обеспечения применяется тестирование. Но известно, что тестирование не может гарантировать корректность программ. Это может сделать только формальная верификация, которая позволяет формально доказать, что программа корректна относительно своих спецификаций. Формальную верификацию можно применить и к нейронным сетям, чтобы сделать основанный на них искусственный интеллект доверенным. В отличие от тематики формальной верификации программного обеспечения общего назначения, тематика формальной верификации нейронных сетей начала активно развиваться относительно недавно. Итого, проблема формальной верификации систем искусственного интеллекта, основанных на нейронных сетях, является актуальной. В данном докладе будет рассмотрено наше исследование по созданию комплексного подхода к формальной верификации систем искусственного интеллекта, основанных на нейронных сетях, созданный ранее в ИСИ СО РАН теоретический и практический задел для нашего исследования, преимущества нашего исследования перед новейшими зарубежными исследованиями и перспективы нашего исследования.
Ссылка на трансляцию: https://telemost.yandex.ru/j/46977731376447
Во вторник 7 апреля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Николай Вячеславович Шилов (преподаватель Лицея 22 «Надежда Сибири», Новосибирск)
Тема: Путеводитель (для начинающих) по стране Формальной Семантики Программ
Три основных исторически сложившихся «провинции» страны Формальной Семантики Программ – это Операционная Семантика, Денотационная Семантика и Аксиоматическая Семантика. Приглашаю студентов, кто только начинает путешествие по этой стране, познакомиться с общедоступным путеводителем…
Во вторник 14 апреля в 14.30 состоится заседание N 1028 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Разработка и анализ архитектур RAG для интеллектуального поиска с использованием графов знаний
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 2 апреля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Кондратьев Дмитрий Александрович (ИСИ СО РАН)
Тема: Серия соревнований по формальной верификации программ VeHa: три года большого пути
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 31 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Семён Степанов (магистрант СПбГУ)
Тема: Реферат статьи Implementation and Synthesis of Math Library Functions (Ian Briggs, Yash Lad, Pavel Panchekha, POPL-24)
Работа предлагает язык и систему (MegaLibm) для автоматической генерации реализаций математических функций с гарантированной точностью. Вместо ручного написания кода пользователь задаёт алгоритм в DSL, после чего система синтезирует оптимальную реализацию. Корректность проверяется через оценку численной ошибки. Это позволяет получать быстрые и точные реализации, иногда лучше, чем в стандартных математических библиотеках.
В четверг 26 марта 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Шувалов Роман Денисович (НГУ)
Тема: Разработка корпуса текстов, размеченных кореференцией. Экспериментальное исследование нейросетевых подходов к разрешению кореференции
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 31 марта в 14.30 состоится заседание N 1027 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.А. Линке
Тема: Нейроэволюционный симулятор организмов со зрительной системой: интеграция систем распознавания образов и управления движением
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 24 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Станислав Мищенко (магистрант СПбГУ)
Тема: Реферат статьи Detecting Vector Container Errors in C++ Programs via Abstract Interpretation" (Liu et al., 2026)
Данная работа посвящена применению техник статического анализа для решения задачи обнаружения обращений за приделами памяти и проверки инвалидации итераторов в конкретном случае контейнера std::vector из стандартной библиотеки C++, который является динамическим массивом, и его итераторов. Предложенное решение IKOS4VecErr, основанное на IKOS, фокусируется на 5 распространённых видах ошибок и превосходит существующие решения по эффективности.
24 марта в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Александр Гурьевич Марчук, доктор физико-математических наук, заведующий Лабораторией информационных систем ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Проект МАРС (1979-1989 гг.)»
В 1975 году в Отделении информатики ВЦ СО АН СССР была создана лаборатория теории вычислительных процессов, которую возглавил В.Е. Котов. Проект МАРС (Модульные Асинхронные Развиваемые Системы) стал первой крупной работой нового коллектива. Концепция проекта была изложена в совместной работе Г.И. Марчука и В.Е. Котова в 1978 г. В ней обоснованы существенные принципы организации вычислительного процесса: параллелизм обработки, доступа к данным и управления; децентрализация потоков обработки; асинхронность взаимодействия устройств и процессов; иерархичность, модульность и специализация компонентов. Проведенный анализ базировался на новых по тому времени моделях взаимодействия асинхронных процессов, а архитектура виделась как естественная реализация модели вычислений.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/43127234387711
В четверг 19 марта 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Лидия Васильевна Городняя (ИСИ СО РАН)
Тема: Эволюция знания в языках программирования
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 17 марта 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Сергей Михайлович Старолетов (Институт Автоматики и Электрометрии, АлтГУ)
Тема: Формальное моделирование различных архитектур графических конвейеров в SPIN
В этом докладе будет представлена формальная модель графического конвейера GPU, реализованная на языке моделирования Promela, для возможной будущей верификации с помощью средства проверки моделей SPIN. Будет представлен анализ исторических графических архитектур. Модель осуществляет реальный 3D рендеринг в целочисленных координатах, абстрагирует ключевые этапы конвейера — выборку вершин, обработку шейдеров, растеризацию, текстурирование и пиксельные операции как параллельные процессы, синхронизированные через буферизованные каналы и семафоры. Модель может служить основой для сравнения графических архитектур, демонстрации в учебных целях и формальной проверки корректности конвейера.
Внимание! В четверг 12 марта семинар "Интеллектуальные системы и Системное программирование" не состоится.