Все семинары
В четверг 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
Во вторник 11 марта в 14.30 состоится заседание N 1011 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.А. Железняк
Тема: Автоматическое обнаружение иронии в комментариях на русском языке
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 27 февраля 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчики: Обершт София Дмитриевна (НГУ), Гавенко Ольга Юрьевна (ФИЦ ИВТ и ИДСТУ СО РАН)
Тема: Оценка сложности текста: подходы, методы, эксперименты
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 25 февраля в 14.30 состоится заседание N 1010 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Р.О. Запанов
Тема: Реферат статьи Nikita Koval, Dan Alistarh, Roman Elizarov «Fast and scalable channels in kotlin coroutines» 2023
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 20 февраля 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Антон Власенко (ФИТ НГУ)
Тема: Разработка интеллектуальной системы контроля управления шлагбаумом для автомобильных парковок
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.