Все семинары
В четверг 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 марта семинар "Интеллектуальные системы и Системное программирование" не состоится.
Во вторник 17 марта в 14.30 состоится заседание N 1026 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: В.В. Титова
Тема: Разработка кодогенератора LLVM IR-программ для языка Cloud Sisal
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
10 марта в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Татьяна Юрьевна Черкашина, кандидат социологических наук, ведущий научный сотрудник Института экономики и организации промышленного производства СО РАН (ИЭОПП СО РАН), зав. кафедрой общей социологии ЭФ НГУ
Тема доклада: «Экономическое неравенство в современной России: измерение и территориальная проекция»
У экономического неравенства несколько измерений. Более распространены оценки неравенства населения по денежным доходам, но не менее значимо неравенство по накопленному богатству, имуществу в собственности. Как за последнее три десятилетия в России менялись институциональные условия для формирования собственности домохозяйств? Из каких данных складывается наше представление об имущественном неравенстве в современной России? Какой разрыв между богатыми и бедными они показывают? Какова «географические» особенности распределения богатства и богатых россиян?
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/73649947448046
В четверг 5 марта 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Николай Вячеславович Шилов (преподаватель Лицея 22 «Надежда Сибири» и инженер ИСИ СО РАН)
Тема: Что должен знать по математической логике выпускник технического ВУЗа по направлению "Математические основы искусственного интеллекта"
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 3 марта 2026 г. на семинаре "Теоретическое и экспериментальное программирование" (СТЭП) состоится второе (заключительное) заседание мини-workshop, посвященное Лидии Васильевне Городней.
Тема: языки, парадигмы, психология, методология, история и общие вопросы программирования.
Время проведения: 17.30-19.00 НСК (13.30-15.00 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
17:30-18:10 Лидия Васильевна Городняя: Эволюция знания в языках программирования (завершение доклада, начатого 24 февраля, 25 минут доклад + 5 минут на обсуждение)
18:10-18:30 Борис Леонидович Файфель: Предварительная трансляция макро в HomeLisp (25 минут доклад + 5 минут на обсуждение)
18:30-19:00 Дмитрий Александрович Кондратьев: Парадигмы задания спецификаций программ (25 минут доклад + 5 минут на обсуждение)
В четверг 26 февраля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Мордвинов Александр (аспирант, ИСИ СО РАН)
Тема: На пути к созданию операционной системы для исследователей всех возрастов
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 3 марта в 14.30 состоится заседание N 1025 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: С.П. Володина
Тема: Распознавание катаракты по системе классификации помутнений хрусталика LOCS-Ⅲ алгоритмом на основе нейронных сетей
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 24 февраля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.30-19.30 НСК (13.30-15.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Во вторник 24 февраля 2026 г. на «Семинаре Теоретического и Экспериментального Программирования» (СТЭП) пройдет мини-workshop, посвященный Лидии Васильевне Городней. Тема: языки, парадигмы, психология, методология, история и общие вопросы программирования.
17:30-18:30 Лидия Васильевна Городняя: Эволюция знания в языках программирования (40 минут доклад + 20 минут на обсуждение)
18:30-19:00 Татьяна Анатольевна Андреева: Хронология возникновения основных парадигм программирования (25 минут доклад + 5 минут на обсуждение)
19:00-19:30 Андрей Валентинович Климов: Взгляд на эволюцию языков программирования (25 минут доклад + 5 минут на обсуждение)
P.S.
(1) По согласованию с участниками семинара докладам второго часа может быть добавлено дополнительное время на обсуждение.
(2) Так как поступили еще две заявки на выступление на семинаре, посвященном Л.В. Городней, то ожидается продолжение нашего мини-workshop на одном из ближайших заседаний семинара.
24 февраля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Сергей Сергеевич Оспичев, к.ф.-м.н., заместитель директора Математического центра в Академгородке
Тема доклада: «Искусственный интеллект: история и развитие»
В этом докладе рассмотрим развитие идеи искусственного интеллекта в контексте социально-экономических трансформаций различных эпох и отметим, что иногда маркетинг оказывается не менее важен, чем сами исследования.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/00079144135761
Во вторник 17 февраля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчики: Глеб Щепа (ведущий программист, Engee), Михаил Песельник (руководитель департамента встраиваемых систем, Экспонента)
Тема: Формальные методы для верификации конечных автоматов в контексте модельно-ориентированного проектирования на российской платформе математических вычислений и динамического моделирования Engee
В докладе представлен практический подход к интеграции формальной верификации в процесс модельно-ориентированного проектирования. Показано, как осуществлять верификацию моделей конечных автоматов, разработанных в российской среде моделирования Engee. Основное внимание сосредоточено на разработанном решении для автоматической генерации кода на языке Promela, используемом в известной системе верификации Spin. Рассмотрены специфические аспекты и особенности данной трансформации, возникающие при конвертации графических моделей в формальное представление.
В четверг 12 февраля 2026 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Владимир Иванович Шелехов (ИСИ СО РАН)
Тема: Язык и технология предикатного и автоматного программирования.
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 17 февраля в 14.30 состоится заседание N 1024 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.Н. Ковалев
Тема: Популярные паттерны Spring
Чтобы принять участие в семинаре, необходимо перейти по ссылке.