Семинары

Объединенный семинар

В четверг 18 апреля 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:30. Место проведения: к. 254 ИСИ СО РАН.

Докладчики: Николаев Константин Сергеевич, Казанский (Приволжский) федеральный университет
Тема: Методы и алгоритмы обработки математического контента на основе технологий семантического веба (кандидатская диссертация)

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

Во вторник 16 апреля в 14.30 состоится заседание № 997 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.

Докладчик: Д.С. Пушкарев
Тема: Реферат статьи M. Fox.«On Formally Undecidable Traits of Intelligent Machines»

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Во вторник 9 апреля в 14.30 состоится заседание № 996 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.

Докладчик: С.Е. Зинченко
Тема:«Оптимизация запросов в СУБД с помощью подсказок»

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

В четверг 4 апреля 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчики: Иванов Александр Иванович, Овчинникова Кристина Алексеевна (НГУ)
Тема: Пополнение онтологии: Извлечение информации из текстов научно-популярных статей

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

Во вторник 2 апреля в 14.30 состоится заседание № 995 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.

Докладчик: Р.О. Запанов
Тема:«Оптимизация емкостных и временных характеристик системы управления легковесными потоками»

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

В четверг 28 марта 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:30. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Семенова Валентина Андреевна (СГТУ и ИПУСС РАН, г. Самара)
Тема: Методическое и алгоритмическое обеспечение подготовки контекста для вывода формальных понятий в онтологическом анализе данных

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

Во вторник 26 марта 2024 г. состоится заседание № 994 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.

Докладчик: Титова В.В.
Тема: Реферат статьи "Б.Я. Штейнберг, О.Б. Штейнберг. Преобразования программ - фундаментальная основа создания оптимизирующих распараллеливающих компиляторов"

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

В четверг 21 марта 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:30. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Ариж Аль Адел (МФТИ)
Тема: Исследование вариантов трансформера для различных задач обработки длинных документов

Язык выступления: английский. Рекомендуется заранее ознакомиться с авторефератом на английском языке.

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

Во вторник 19 марта 2024 г. состоится заседание № 993 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.

Докладчик: Павлов М.В.
Тема: Что такое YOLO, принцип его работы

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

В четверг 14 марта 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Красинский В.И.
Тема: Теория нечетких множеств как инструмент разработки систем искусственного интеллекта

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

Во вторник 12 марта 2024 г. состоится заседание № 992 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.

Докладчик: Осицын Д.А.
Тема: Семантическая сегментация, основные принципы

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Во вторник 5 марта 2024 г. состоится заседание № 991 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.

Докладчик: Артемьев А.М.
Тема: Технология eBPF

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

В четверг 29 февраля 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Ильина Д.В. (ИСИ СО РАН)
Тема: Референция в лингвистике и машинном обучении: проблемы и методы

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

Во вторник 27 февраля 2024 г. состоится заседание № 990 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.

Докладчик: Грасмик Р.А.
Тема: Реферат статьи "Rui Zhang,Bayu Distiawan Trisedya, Miao Li,Yong Jiang, Jianzhong Qi. A Comprehensive Survey on Knowledge Graph Entity Alignment via Representation Learning, 2021"

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

В четверг 15 февраля 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Кондратьев Д.А. (ИСИ СО РАН)
Тема: VeHa-2023: первые в России соревнования по формальной верификации программ

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

В четверг 14 декабря 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Крайнева Ирина Александровна (ИСИ СО РАН)
Тема: Игорь Васильевич Поттосин (1933-2001) - один из основателей новосибирской школы программирования

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

В четверг 7 декабря 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Ильина Дарья Владимировна (ИСИ СО РАН)
Тема: Типы авторов научно-популярной статьи и их аргументативные предпочтения

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

В четверг 30 ноября 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Сидорова Елена Анатольевна (ИСИ СО РАН)
Тема: Особенности применения нейросетевых подходов для поиска и извлечения аргументативных отношений из текстов на русском языке

Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

В четверг 23 ноября 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Кондратьев Дмитрий (ИСИ СО РАН)
Тема: Логика для суждений об ошибках в циклах над последовательностями данных (IFIL)

Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

В четверг 9 ноября 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Прокопьев Николай Аркадиевич (Казанский (Приволжский) федеральный университет)
Тема: Прагматически-ориентированные модели и методы обработки естественно-языковых вопросно-ответных текстов (кандидатская диссертация)

Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

В четверг 2 ноября 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Загорулько Ю.А., Серый А.С. (ИСИ СО РАН)
Тема: XXI Национальная Конференция по Искусственному Интеллекту с международным участием (КИИ-2023), Часть 2, г. Смоленск, 16–20 октября 2023 г.

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

В четверг 26 октября 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Загорулько Ю.А., Серый А.С. (ИСИ СО РАН)
Тема: XXI Национальная Конференция по Искусственному Интеллекту с международным участием (КИИ-2023), г. Смоленск, 16–20 октября 2023 г.

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

В четверг 12 октября 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.

Докладчик: Коробко Анна Владимировна (СибГУ им. Решетнева, ИВМ СО РАН, Красноярск)
Тема: Технология информационно-аналитической поддержки принятия решений на основе федерализации разнородной информации в концепции многомерного представления данных (докторская диссертация)

Чтобы принять участие в семинаре, необходимо перейти по ссылке.

Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.

Объединенный семинар "Интеллектуальные системы" и "Системное программирование"

Внимание!

В связи с проведением в Институте математики СО РАН научной конференции ЗОНТ-2023 заседания Объединенного семинара "Интеллектуальные системы" и "Системное программирование" 5 октября 2023 г. не будет.

Приглашаю слушателей семинара посетить эту конференцию.

Следующее заседание семинара запланировано на 12 октября.

Соруководитель семинара
Ю.А. Загорулько