Все семинары
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 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Графовые нейронные сети и их применение
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
13 мая в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: к.ф.-м.н., уч. секр. ИСИ СО РАН Насибулов Егор Андреевич
Тема доклада: «Квантовая механика : от наблюдений к теории»
В начале 20 века большинство физиков не верило в существование атомов, потому что всё, что меньше длины волны света, невозможно увидеть. Физическая теория считалась полностью завершённой. Как получилось, что возникла необходимость в концептуально новой теории? Почему события из детерминированных стали вероятностными? Что легло в основу квантовой теории? Об этом в докладе «Квантовая механика : от наблюдений к теории».
Ссылка на дистанционное подключение
https://meet.google.com/cjs-axoh-izt
Во вторник 6 мая в 14.30 состоится заседание N 1015 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: К.О. Шадрин
Тема: Реферат статьи"Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason
Sobel, Peter Vajgel. Finding a needle in Haystack: Facebook’s photo storage"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
29 апреля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Денис Сергеевич Мигинский, к.ф.-м.н., и.о. зав. лабораторией моделирования сложных систем Института систем информатики СО РАН имени А.П. Ершова
Тема доклада: «Реконструкция и очистка данных в любительской астрофотографии»
Получение астрономических изображений как художественной, так и научной направленности, представляет собой достаточно сложный многостадийный процесс, включая накопление сигнала и его постобработку. Сигнал подвергается искажениям различной природы, в т.ч. за счет ограничений аппаратуры, а также атмосферных искажений. Последние можно преодолеть только очень дорогими аппаратными решениями (телескопы космического базирования, либо системы адаптивной оптики), недоступными для любительской астрофотографии. Без этого же считается, что предельным разрешением, которого позволяет достичь атмосфера, является приблизительно одна угловая секунда. Вместе с тем, достаточно обширный опыт, накопленный сообществом астрономов-любителей, показывает, что порог этот можно снизить в несколько раз за счет постобработки сигнала. Существует богатый арсенал методов повышения разрешения, включая различные алгоритмы деконволюции и вейвлет-преобразования, а также множество рекомендаций (часто противоречащих друг другу), в каких случаях какие из них следует применять. Однако, остается открытым вопрос о систематизации этих знаний, обоснования применения тех или иных методов постобработки в соответствии с физической природой искажений, которые они призваны исправлять.
Ссылка на дистанционное подключение
https://meet.google.com/zhh-ytsq-dzm
Во вторник 22 апреля в 14.30 состоится заседание N 1014 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Применение бинарных диаграмм решений (БДР) в задаче поиска ключей в key-value базах данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В связи с проведением Международной научной студенческой конференции (МНСК-2025) 17 апреля семинара не будет.
Студентов и преподавателей приглашаем посетить секцию "Информационные технологии. Технология искусственного интеллекта" онлайн.
Она состоится 17 апреля, начало в 10:00,
ссылка для подключения: https://meet.google.com/bux-bdjz-zdk
Программа секции в приложении.
15 апреля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Владимир Иванович Шелехов, к.т.н., и.о. зав. лабораторией системного программирования Института систем информатики СО РАН имени А.П. Ершова; Новосибирский государственный университет
Тема доклада: «Процессная модель научной деятельности»
Процессная модель научной деятельности определяет структуру дерева научных дисциплин и множества научных проектов с ориентацией на решение задачи эффективного управления наукой. Построение модели базируется на методологии процессного программирования, инженерии требований и формальных методов для моделирования сложных систем. Верификация модели относительно реальной научной деятельности обнажила и позволила увидеть принципиальные недостатки организации современной научной деятельности, в особенности, существующую практику низкого качества экспертизы научных проектов. В соответствии с принципом максимальной компетентности лучшую оценку научного проекта способна дать элита – специалисты максимальной квалификации в дисциплине оцениваемого проекта.
Для появления элиты в некоторой дисциплине необходимо создать сообщество (ассоциацию) специалистов, для которых данная дисциплина является профильной. Предварительно требуется более четкая фиксация всех научных дисциплин и набора тем внутри каждой дисциплины, определение квалификации всех специалистов по разным научным дисциплинам; для профильных дисциплин нужно будет определять квалификацию по каждой теме дисциплины.
Движение к новой организации научной деятельности может происходить в инициативном порядке. Группы лидеров, осознавших преимущества новой организации, попытаются совместно создать ассоциацию в своей научной дисциплине или, возможно, только в рамках определенной темы дисциплины. Одним из стимулов является формирование качественного портфеля научных проектов в своей дисциплине для повышения шансов на поддержку проектов со стороны заказчика. Это достигается перекрестной экспертизой всех актуальных проектов, как новых, так и существующих: каждый специалист ассоциации оценивает проекты своих коллег. Целесообразно проводить коллективные обсуждения результатов экспертиз, в ходе которых они уточняются. Необходимо окончательно искоренить практикуемую тиранию игнорирования – каждый проект должен получить квалифицированную экспертизу. Другая цель ассоциации – коллективный анализ перспектив дальнейшего развития научной дисциплины. Ассоциация становится автономной самоуправляемой организацией. Ассоциация выбирает элиту для компетентной оценки проектов и формирования портфеля научных проектов для заказчика.
Ссылка на дистанционное подключение
https://meet.google.com/jgc-dbwf-xac
В четверг 10 апреля 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Пименов И.С., Саломатина Н.В. (ИСИ СО РАН)
Тема: Методика многоаспектной разметки аргументации в научных статьях и ее применение
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 8 апреля в 14.30 состоится заседание N 1013 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Ю.Ю. Разбитнова
Тема: Реферат статьи "Lahcen El Fatimi, Elhoucine Elfatimi and Hanifa Bouchaneb. A Hybrid Deep Learning and Model-Checking Framework for Accurate Brain Tumor Detection and Validation"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 27 марта 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Никита Шварц (ИСИ СО РАН)
Тема: Методы и алгоритмы распознавания отношений между именованными сущностями в условиях обучения без примеров для извлечения информации из текстов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
25 марта в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Галина Михайловна Запорожченко, доктор исторических наук, с.н.с. сектора
истории общественно-политического развития Института истории СО РАН
Тема доклада: «Изучение истории СО РАН: социокультурная и бытовая инфраструктура,
гендерные аспекты кадрового состава»
В обращении к истории Сибирского отделения СО АН СССР/РАН важна не только институциональная структура научных центров, но и социальная жизнь. Этой проблеме в последнее время уделяется особое внимание, что отражает человекоразмерность исторического процесса в целом. Все чаще мы обращаемся и к материалом Открытых архивов СО РАН, сопровождение которых ведет ИСИ им. А.П. Ершова. Повседневная жизнь ученых – не менее захватывающая тема исторических исследований.
Ссылка на трансляцию: https://meet.google.com/zij-fqgb-xeg
Во вторник 25 марта в 14.30 состоится заседание N 1012 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Разработка библиотеки динамического перераспределения потоков данных на основе SRT протокола - исследование корреляции параметров SRT.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 13 марта 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчики: Загорулько Ю.А., Загорулько Г.Б. (ИСИ СО РАН)
Тема: Как могут помочь карты знаний в создании доверенных языковых моделей
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
11 марта в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Дмитрий Аркадьевич Афонников, доктор биологических наук, в.н.с.
Института цитологии и генетики СО РАН
Тема доклада: «Компьютерное фенотипирование пшеницы на основе анализа
изображений и глубокого машинного обучения»
Высокопроизводительное фенотипирование растений - новое направление в биоинформатике, которое позволяет получить большой объем данных в процессе проведения селекционно-генетических экспериментов у сельскохозяйственных растений. Сопоставление этих данных с вариациями генома позволяет выявлять его участки, которые содержат гены, контролирующие важные признаки растений. Для фенотипирования используются методы, основанные на анализе цифровых изображений, как с помощью алгоритмов машинного зрения, так и глубокого обучения. В докладе будут представлены результаты разработки и применения методов компьютерного фенотипирования для анализа пшеницы.
Ссылка на трансляцию: https://meet.google.com/ibq-hkir-kmh