Все семинары
18 ноября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Николай Вячеславович Шилов, к.ф.-м.н., независимый исследователь
Тема доклада: «Молодой математик Михаил Алексеевич Лаврентьев»
19.11.2025 г. исполнится 125 лет со дня рождения одного из основателей и первого председателя Сибирского отделения АН СССР / СО РАН академика Михаила Алексеевича Лаврентьева (1900–1980). В докладе будут освещены ранние научные работы М.А. Лаврентьева, затронута «предыстория» физико-математических школ-интернатов.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/99119182798336
Во вторник 11 ноября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Сергей Михайлович Старолетов (с.н.с. Института Автоматики и Электрометрии СО РАН, доцент АлтГТУ)
Тема: Вещественная арифметика IEEE 754, подходы к тестированию и верификации
Вещественные числа типа float и double всегда казались магией, ведь кажется, что они могут хранить всё! Но это далеко не так и для реализации систем надежных вычислений нужно понимать, как они работают. Лучший способ это понять - это написать собственную библиотеку, которая сможет проходить тесты стандарта IEEE 754. В докладе будет рассмотрен опыт реализации умножения таких чисел и тесты для этого. Также рассмотрим статью на SPIN2019, в которой было предложено верифицировать такие вычисления методом Model Checking и оценим число состояний для такой реализации.
Во вторник 18 ноября в 14.30 состоится заседание N 1020 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Реферат статьи "Demystifying NCCL: An In-depth Analysis of GPU Communication Protocols and Algorithms (Zhiyi Hu, Siyuan Shen, Tommaso Bonato, Sylvain Jeaugey, Cedell Alexander, Eric Spada, Jeff Hammond, Torsten Hoefle) (arxiv.org, 2025)"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 6 ноября 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Загорулько Юрий Алексеевич (ИСИ СО РАН, НГУ)
Тема: XXII Национальная конференция по искусственному интеллекту с международным участием (КИИ-2025). Часть 1
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
В пятницу 7 ноября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Семинар будет совмещён с приглашённой лекцией на контесте по формальной верификации VeHa-2025, поэтому пройдет полностью онлайн и состоится в необычный день и время: в пятницу 7 ноября в 16:00 мск (20:00 нск).
Докладчик: Alexei Lisitsa (School of Computer Science and Informatics, University of Liverpool)
Тема: Finite Countermodel Finding for Infinite State and Parametrized Verification
In this talk, I will present an overview of the Finite Countermodel Method (FCM), a powerful approach to the verification of infinite-state and parameterized systems. I will demonstrate multiple applications of the method and will discuss its relative completeness with respect to methods based on regular invariants.
Выступление будет онлайн, на русском со слайдами на английском.
Ссылка на подключение — постоянная: https://telemost.yandex.ru/j/28529522210499
В четверг 30 октября 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Марчук Александр Гурьевич (ИСИ СО РАН, НГУ)
Тема: Модель описания и решения задач, основанная на ТРИЗ
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 4 ноября в 14.30 состоится заседание N 1019 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Т.А. Золотухин
Тема: Visual Graph: текущие результаты и дальнейшее развитие проекта
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 28 октября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Разбитнова Юлия Юрьевна, студент 2-го курса магистратуры ММФ НГУ
Тема: Язык Verilog: от описания аппаратуры до формальной верификации
Доклад представляет собой обзор языка Verilog — одного из ключевых языков описания аппаратуры (HDL). Рассматриваются основные концепции и конструкции языка, его роль в проектировании, моделировании и верификации цифровых систем, включая использование формальных методов.
Вниманию участников семинара! Так как следующий вторник 4 ноября — День народного единства, то семинар пройдет или в четверг 6 ноября, или в пятницу 7 ноября, день, время , тема и докладчик будут объявлены заранее.
Во вторник 21 октября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Бояндин Лев Константинович, студент 3-го курса бакалавриата ММФ НГУ
Тема: Краткий экскурс в K Framework
Доклад содержит обзор системы K, позволяющей порождать полезные инструменты (парсер, интерпретатор, дедуктивный верификатор) на основе синтаксиса и семантики языка программирования. Будет рассказано об идеологии проекта, о том, как пользоваться основными элементами системы, а также о примерах её применения на практике.
21 октября в 10:30 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Сергей Викторович Нетесов, зав. лабораторией, д.б.н., профессор, академик РАН, Новосибирский государственный университет
Тема доклада: «Гипотезы о происхождении вируса SARS-CoV-2 и его вариантов»
В настоящее время известны 7 видов представителей семейства Ортокоронавирусов, вызывающих заболевания человека. Два из них были открыты в середине 60-х годов в европейских странах, один – в 2003 году в КНР, еще два – в 2004-2005 годах в Нидерландах и Гонконге, один – в Саудовской Аравии и Нидерландах в 2012 году. И пока последний SARS-CoV-2 – в КНР в 2020 году, который вызвал колоссальную пандемию, медленно завершившуюся в 2023 году, но при этом циркуляция данного вируса не прекратилась, а лишь кардинально снизилась его патогенность для человека.
В докладе будет представлена краткая история происхождения каждого вида или гипотеза о его происхождении на основе данных по гомологиям последовательностей их геномов с аналогичными природными вариантами коронавирусов животных. Будет подчеркнута целесообразность мониторинга эволюции геномов природных вариантов коронавирусов с целью оценки их потенциала трансформироваться в новые патогены человека. Также будет кратко охарактеризована существующая в мире система мониторинга эволюции вирусов гриппа человека и животных и перспективы ее совершенствования с целями модернизации антигриппозных вакцин.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/88143475564360
В четверг 16 октября 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Хамза Салем (Университет Иннополис)
Тема: Алгоритмический фреймворк для точного извлечения основного содержимого с новостных веб-сайтов (An Algorithmic Framework for Precise Main Content Extraction from News Websites)
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Во вторник 21 октября в 14.30 состоится заседание N 1018 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Реферат статьи "Disco: A Compact Index for LSM-trees (Wenshao Zhong, Chen Chen, Xingbo Wu, Jakob Eriksson)(Proceedings of the ACM on Management of Data, Volume 3, Issue 1, Article No.: 33, Pages 1-27, 2025)"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 14 октября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: Николай Вячеславович Шилов (преподаватель Лицея 22 "Надежда Сибири")
Тема: Студент! Учись доказывать рекурсивные программы правильно!
Обычно курс по дедуктивной верификации рассказывает о верификации итеративных программ, спецификации которых могут содержать функции, заданные рекурсивно. Но в этом докладе будет рассказано для студентов как специфицировать программы с рекурсией, что такое табличные доказательства, и как они возникают при верификации рекурсивных программ.
7 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Ирина Александровна Крайнева, д.и.н., в.н.с. лаборатории информационных систем ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Юрий Борисович Румер: биография как пазл»
Доклад посвящен физику-теоретику Ю.Б. Румеру (1901–1985), его сложной и одновременно необычной судьбе. Ровесник века, он участвовал в экспорте революции, становлении квантовой физики, подвергся репрессиям в годы Большого террора, создавал академическую науку в Сибири, учил студентов теории унитарной симметрии, писал учебники. На всю жизнь он сохранил память о Гёттингене, где провел три года в обществе М. Борна, встречался с А. Эйнштейном, которому его прочили в помощники. В Германии Румер познакомился в Л.Д. Ландау, с ним разделил дружбу, работу и заточение. После освобождения и реабилитации Юрий Борисович поселился в новосибирском Академгородке, где его еще помнят. Его питомцы-теоретики работают по всему миру, они по сей день вспоминают с трепетом, что были в двух рукопожатиях от Эйнштейна, отмечают эрудицию, скромность, порядочность, европейский стиль Юрия Борисовича, которые он сохранил несмотря на годы, проведенные в шарашке и ссылке.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/28195834907584
Во вторник 7 октября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: магистрант СПбГУ Мищенко Станислав
Тема: Обзор конференции FormaliSE 2024 и реферат статьи "A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification"
Доклад содержит обзор работ конференции FormaliSE 2024 - ежегодной конференции, посвящённой работам на пересечении формальных методов и разработки.
Более подробно будет рассмотрена статья "A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification" (Louis Gauthier, Virgile Prevosto, Julien Signoles, 2024). В этой работе предлагается формализация семантики для части языка ACSL. ACSL - язык спецификации для C, используемый в наборе инструментов верификации Frama-C для аннотации кода. На момент начала работы семантика ACSL не была формально описана, что позволяло неоднозначно трактовать спецификации. Эта статья представляет собой первый этап формализации семантики на Coq. Приведённая семантика основана на семантикe языка C, предложенной в "The C Standard Formalized in Coq" (R. Krebbers, 2015). Наибольшее внимание в статье уделено описанию семантики равенства структур, объединений и логике обработки не полностью специфицированных термов, эти темы не были рассмотрены ранее в других статьях, посвящённых языкам спецификации.
Во вторник 7 октября в 14.30 состоится заседание N 1017 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: В.Н. Касьянов
Тема: XXVII Всероссийская конференция "Научный сервис в сети Интернет" (22-25 сентября 2025 г.)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 30 сентября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчик: к.т.н., с.н.с. Шелехов Владимир Иванович (ИСИ СО РАН)
Тема: Предпосылки создания ассоциации формальных методов
Наконец-то и в России появились пока небольшие группы специалистов, применяющих формальные методы в производственном программировании. Назрела необходимость объединения специалистов для решения существующих проблем в сфере формальных методов на государственном уровне. Предлагаемая форма объединения – ассоциация специалистов, считающих формальные методы своей профильной дисциплиной.
В докладе будет представлен анализ по следующим аспектам:
- позиция научной дисциплины «Формальные методы» в системе наук;
- краткое определение формальных методов: понятия задачи, спецификации, верификации и т.д.
- области применения формальных методов;
- состояние исследований и применений формальных методов в нашей стране;
- проблемы обучения формальным методам;
- основные задачи развития дисциплины исходя из текущего состояния.
В четверг 25 сентября 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Сидорова Е.А., Ильина Д.В. (ИСИ СО РАН)
Тема: Классификация аргументов с помощью больших языковых моделей
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Семинар возобновляет серию одноименных научных семинаров Института систем информатики СО РАН и носит имя своего основателя Валерия Александровича Непомнящего.
Семинар посвящен исследованиям и использованию формальных методов при разработке программных систем. Он может служить площадкой для обмена идеями и опытом между энтузиастами-исследователями и практиками, а также для расширения кругозора студентов и аспирантов.
В рамках семинара предполагаются доклады о собственных исследованиях, обзор конференций и/или интересных работ отечественных и зарубежных ученых, а также просмотр и обсуждение докладов ведущих ученых и представителей индустрии.
Семинар проводится еженедельно по вторникам 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Руководитель: к.ф.-м.н., с.н.с. Гаранина Наталья Олеговна
Соруководители: к.ф.-м.н., н.с. Кондратьев Дмитрий Александрович, к.ф.-м.н., с.н.с. Ануреев Игорь Сергеевич
Секретарь: к.ф.-м.н. Шилов Николай Вячеславович
Первый семинар состоится 23 сентября в 17:00 в каб. 239 ИСИ СО РАН.
Докладчик: к.ф.-м.н., с.н.с. Гаранина Наталья Олеговна
Тема: Безопасные мутации взаимодействующих автоматов: на пути к либеральному программированию
В нашей работе мы исследуем изменения взаимодействующих через каналы FIFO-машин, формализующих поведение акторов коммуникационных протоколов. Мотивацией нашей работы служит тот факт, что описание поведения акторов на специализированных языках программирования протоколов, может изменяться в силу различных причин, таких как изменение содержания сообщений, изменение условий или последовательности получения и отправки сообщений, изменение адресатов и т.п. Во всех этих случаях необходимо убедиться, что коммуникационный протокол, участником которого является изменившийся актор, по-прежнему остаётся корректным. Формальная верификация коммуникационных протоколов является ресурсоёмкой процедурой, поэтому целесообразно определить безопасные изменения поведения акторов, сохраняющие корректность протокола. В этой работе мы рассматриваем класс мутаций акторов, который предполагает включение поведений акторов, т.е. мутировавший актор выполняет только часть работы оригинального актора.
23 сентября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Андрей Иванович Савин, к.и.н., заведующий сектором общественно-политического развития Института истории СО РАН.
Тема доклада: «Леонид Брежнев: новые источники, методы и темы написания политической биографии советского вождя»
Политические биографии – жанр исторической литературы, который традиционно вызывает значительный интерес у широкого круга читателей и служит важным средством воздействия профессиональной историографии на массовые исторические представления. Вместе с тем политические биографии выступают как важный метод научных исследований, поскольку именно они позволяют оценить роль личного фактора в истории, придать человеческое лицо безликим историческим процессам и коллективам, почувствовать эпоху.
Советская цивилизация породила целую генерацию политиков, которые заслуживают персонального научного жизнеописания. Парадоксальным образом, качественные исследования о «советских вождях», написанные в биографическом жанре, все еще остаются относительно редким «историографическим продуктом». В этом контексте особое значение приобретают два взаимосвязанных вопроса: как писать научные политические биографии и каковы сегодня методологические возможности этого историографического направления.
Ответ попытается дать к.и.н. А.И. Савин, соавтор новой политической биографии Леонида Брежнева, опубликованной в конце 2024 г.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/79764356500573
В четверг 18 сентября 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Сидорова Е.А. (ИСИ СО РАН)
Тема: Научный семинар «Методы искусственного интеллекта в решении прикладных задач» (23-25 августа 2025 г., г. Ханты-Мансийск)
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
9 сентября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Алексей Владимирович Тайченачев, д.ф.-м.н., член-корреспондент РАН, гл.н.с. Института лазерной физики СО РАН.
Тема доклада: «Сверхточные оптические часы на ультрахолодных атомах и ионах: состояние и перспективы»
Ссылка для удалённого подключения:
https://meet.google.com/rzf-aort-mxk
В этом докладе мы рассмотрим исторические корни, последние достижения и будущие перспективы современных оптических стандартов частоты. Кратко будут обсуждаться некоторые новые методы и подходы в прецизионной лазерной спектроскопии запрещенных переходов в ультрахолодных атомах и ионах с акцентом на вклад Института лазерной физики СО РАН.
27 мая в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Илья Игоревич Бетеров, к.ф.-м.н., с.н.с. Института физики полупроводников им. А.В. Ржанова СО РАН; доцент Новосибирского государственного университета.
Тема доклада: «Квантовый компьютер»
В 1996 году физик-теоретик Дэвид Ди Винченцо из IBM сформулировал минимальные требования, необходимые для того, чтобы построить квантовый компьютер. На пути реализации технически состоятельных конструкций квантового компьютера, основанного на любом из требований, стоит огромное количество трудностей, которые ученые и инженеры постепенно преодолевают. В докладе речь пойдет о физических принципах работы квантовых компьютеров на примере экспериментальной установки в ИФП СО РАН.
Ссылка на дистанционное подключение
https://meet.google.com/pmv-mifh-grj
Во вторник 20 мая в 14.30 состоится заседание N 1016 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Графовые нейронные сети и их применение
Чтобы принять участие в семинаре, необходимо перейти по ссылке.