Все семинары
В четверг 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
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
10 февраля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Ирина Владимировна Сальникова, к.и.н., с.н.с. Отдела палеометалла, Институт археологии и этнографии СО РАН
Тема доклада: «Археология: о чем могут рассказать нательные кресты?»
Нательные кресты как символ принадлежности к христианскому вероисповеданию – самая массовая категория артефактов, обнаруженных при исследовании многих археологических памятников. Эти находки также являются свидетельством освоения русскими территории Новосибирской области в период XVIII – XIX вв. Раскопки проведены на нескольких комплексах. Это некрополь и фундамент Никольской церкви села Кривощеково, некрополи и фундаменты Спасского собора в городе Каинские и укрепленного фортпоста – Умревинского острога.
Разнообразие форм, декора, символики оформления, материала изготовления позволяют определить конфессиональную принадлежность его владельцев, их социальный и профессиональный статус, проследить миграционные маршруты переселенцев, а также локализовать географические центры Центральной России – источники миграции.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/91594610943513
27 января в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Зинаида Владимировна Апанович, к.ф.-м.н., с.н.с. Лаборатории смешанных вычислений ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Современные промышленные приложения графов знаний»
Графы знаний проделали большой путь эволюции от простого множества RDF-триплет до систем получения новых знаний. Если в прежние годы основным приложением графов знаний считался семантический поиск, то на современном этапе графы знаний проникают во все области промышленного производства. В докладе будет сделан обзор новых вариантов графов знаний, таких виртуальные графы знаний, динамические графы знаний и исполняемые графы знаний, применяемые в современном производстве, а также рассказано про основную область их применения - когнитивные цифровые двойники.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/48643078057657
Во вторник 16 декабря 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Александр Наумчев (Russian Research Institute, Новосибирск)
Тема: Сортировка и поиск в многомерных пространствах
Это обзорный доклад, фокусирующийся на алгоритмах сортировки и поиска ближайших соседей в многомерных векторных пространствах — ключевых операциях векторных СУБД. Дается краткое описание роли векторных СУБД как важных компонентов автономных больших языковых моделей (agentic LLMs). Анализируется проблема “проклятия размерности”, которая является непреодолимым препятствием на пути к точному решению задачи поиска ближайших соседей. Классифицируются основные подходы к решению приближенного варианта данной задачи и методы их сравнения друг с другом. Также рассматривается роль современных аппаратных средств в ускорении работы с многомерными векторными данными на примере некоторых конкретных подходов. Доклад завершается формулировкой острых проблем, стоящих перед разработчиками и пользователями прикладных векторных СУБД, а также кратким обзором оригинальных подходов к решению этих проблем.
В четверг 18 декабря 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Тема: Об итогах соревнования по формальной верификации программ VeHa-2025
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 16 декабря 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Александр Максимович Миллер (студент 4-го курса ММФ НГУ)
Тема: Baldur: как большие языковые модели учатся автоматически доказывать теоремы и исправлять ошибки в Isabelle/HOL.
Baldur — это экспериментальная система автоматизированного доказательства теорем, которая использует большие языковые модели (LLM) для решения задач формальной верификации программ. LLM в Baldur генерирует шаги доказательства, леммы и инварианты, а также предлагает возможные направления доказательства, после чего все сгенерированные элементы проверяются традиционными системами машинной поддержки доказательства. Такой гибридный подход обеспечивает высокую степень автоматизации при сохранении формальной корректности. Baldur эффективно решает задачи анализа безопасности, проверки свойств исполнения и доказательства функциональной корректности программ. Система ориентирована на совместную работу эксперта и модели, обеспечивая прозрачность, трассируемость и воспроизводимость рассуждений. Благодаря использованию больших языковых моделей Baldur ускоряет разработку доверенного программного обеспечения и расширяет возможности автоматического синтеза доказательств.
Во вторник 16 декабря в 14.30 состоится заседание N 1022 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: С.В. Попов
Тема: Реферат статьи "InstructIE: A Bilingual Instruction-based Information Extraction Dataset
(Honghao Gui, Shuofei Qiao, Jintian Zhang, Hongbin Ye, Mengshu Sun, Lei Liang, Jeff Z. Pan, Huajun Chen, Ningyu Zhang)
(arxiv.org, 2024)"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.