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

Во вторник 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 октября.

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

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

Докладчик: Тимофеева Мария Кирилловна (Институт математики СО РАН, Новосибирск)
Тема: Прагматические составляющие коммуникации на естественном языке

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

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

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

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

• Докладчик: Светлана Селиванова (ИСИ СО РАН)
  Тема: Сложность "точных" вычислений решений дифференциальных уравнений

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

Внимание! По окончанию семинара 18 мая будет выставляться зачет студентам ММФ в зачетки. Для выставления зачета студентам ФИТ отправлено письмо на кафедру ФИТ.
Списки студентов см. во вложениях.

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

Докладчик: Бондаренко Иван Юрьевич (лаб. ПЦТ ММЦ ММФ НГУ, Новосибирск)
Тема: Нейросети - это всеръёз и надолго. Но не навсегда? Состояние и перспективы современного глубокого обучения (Продолжение)

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

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

Докладчик: Плюснин Артем (ФИТ НГУ, Новосибирск)
Тема: Применение случайных гиперграфов в структурах данных

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