Семинары

Все семинары

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

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

Институт систем информатики им. А.П. Ершова СО РАН

20 февраля в 11:00 в каб. 239 состоится деcятый методологический семинар ИСИ СО РАН.
Докладчик: Владимир Иванович Шелехов (Институт систем информатики СО РАН, Новосибирский государственный университет)
Тема доклада: «Автоматная модель научной деятельности»

Автоматная модель научной деятельности ориентирована на оптимизацию управления наукой и определяется как расширение автоматной модели произвольной деятельности. Рассматриваются связи по использованию результатов одной деятельности в другой. Для каждого вида деятельности определяется карта компетенций. Используется аппарат инженерии требований. Вводится новый тип данных: древесное множество. Анализируются особенности автономного вертикального управления наукой на базе лидерских групп в каждом направлении науки. Модель частично формализована.

Ключевые слова: наука, науковедение, автоматное программирование, система управления, инженерия требований, системная инженерия.

Ссылка на дистанционное подключение
https://meet.google.com/snk-tznr-gyr

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

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

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

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

Институт систем информатики им. А.П. Ершова СО РАН

6 февраля в 11:00 в каб. 239 состоится девятый методологический семинар ИСИ СО РАН.
Докладчик: Елена Анатольевна Ерохина, д. филос. наук, в.н.с. Института философии и права СО РАН
Тема доклада: «Сибирская этносоциология в Открытом архиве СО РАН: академические практики и биографический нарратив»

Новосибирская этносоциологическая школа является одной из ведущих научных школ Института философии и права СО РАН. Она создана А.П. Окладниковым и В.И. Бойко в к. 1960-х–нач. 1970-х на базе сектора комплексных проблем развития народов Сибири Института истории, филологии и философии СО АН СССР. Ее институционализация завершилась в 2000-х с проведением Международных школ молодых этносоциологов. История школы представлена в Открытом архиве СО РАН, который поддерживает наш институт.

Ссылка на дистанционное подключение
meet.google.com/gan-cyca-myh

Институт систем информатики им. А.П. Ершова СО РАН

30 января в 11:00 в каб. 239 состоится восьмой методологический семинар ИСИ СО РАН.
Докладчик: д.ф.-м.н. Сергей Павлович Одинцов, Институт математики им. С.Л. Соболева СО РАН
Тема доклада: Верификация, фальсификация, сильное отрицание, FDE.

Ссылка на дистанционное подключение
meet.google.com/gan-cyca-myh

Институт систем информатики им. А.П. Ершова СО РАН

26 декабря в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчик: Оспичев Сергей Сергеевич, начальник отдела по связям с индустриальными партнерами Математического центра в Академгородке
Тема доклада: Математический центр в Академгородке: опыт проведения заказных исследований.

Ссылка на дистанционное подключение
https://meet.google.com/vxn-rykz-zwj

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

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

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

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

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

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

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

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

Институт систем информатики им. А.П. Ершова СО РАН

5 декабря в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчики: Серый Алексей Сергеевич, Чагина Полина Максимовна (лаб. ИИ)
Тема доклада: Создание датасетов для решения задач анализа аргументации на основе аннотированных текстов

Ссылка на дистанционное подключение
https://meet.google.com/wok-gcno-qyt

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

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

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

Институт систем информатики им. А.П. Ершова СО РАН

28 ноября в 11:00 в каб. 239 состоится четвертый методологический семинар ИСИ СО РАН.
Докладчик: Николай Алексеевич Старухин (к.и.н., научный сотрудник сектора археографии и источниковедения Института истории СО РАН)
Тема доклада: Полевые археографические исследования Института истории СО РАН во второй половине XX - начале XXI вв. (из истории организации и опыта работы).

Аннотация: С середины 1960-х годов на территории Сибири, Урала, Средней Азии были обнаружены ценные источники (всего на государственное хранение поставлено свыше 1,5 тысяч старопечатных и других малоизвестных изданий). Среди них — рукописный сборник XVI в. (Сибирский список), который содержит, в частности, наиболее полный комплекс источников по следственному делу Максима Грека; догматико-политические сочинения крестьян-старообрядцев XVIII—XIX вв. (значительная часть опубликована в издании «Духовная литература староверов Востока России XVIII–XX вв. и других.

Ссылка на дистанционное подключение
https://meet.google.com/vdv-vxjq-aar

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

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

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

Институт систем информатики им. А.П. Ершова СО РАН

21 ноября в 11:00 в каб. 239 состоится третий методологический семинар ИСИ СО РАН.
Докладчики: Н.О. Гаранина, И.С. Ануреев, Д.А. Кондратьев.
Тема доклада: Обзор международного четырнадцатого семинара "Семантика, спецификация и верификация программ: Теория и приложения" (PSSV-2023) и первого всероссийского соревнования по верификации моделей и дедуктивной верификации "VeHa-2023".

Аннотация: В докладе мы представим общее впечатление о семинаре PSSV и более подробно разберём несколько докладов, а также поделимся приобретённым опытом проведения онлайн-соревнований по формальной верификации.

Ссылка на дистанционное подключение
https://meet.google.com/zhx-gewk-mrc

Институт систем информатики им. А.П. Ершова СО РАН

14 ноября в 11:00 в каб. 239 состоится второй методологический семинар ИСИ СО РАН.
Докладчик: Пальянов Андрей Юрьевич, ИO зав. лабораторией системной динамики.
Тема доклада: "О сотрудничестве с Федеральным исследовательским центром фундаментальной и трансляционной медицины (ФИЦ ФТМ) в области биоинформатики: текущее состояние дел и перспективы".

Ссылка на дистанционное подключение
https://meet.google.com/edv-wish-xvz

В четверг 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 г.

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

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

Институт систем информатики им. А.П. Ершова СО РАН

На Учёном Совете 17.10.2023 было принято решение организовать общеинститутский семинар, который будет проходить по вторникам.
Первый семинар состоится 31 октября в 11.00, каб. 239.
Докладчик: Крайнева Ирина Александровна, лаборатория ИС.
Тема доклада: "Итоги VI Международной конференции «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ» SoRuCom-23".

Контактная информация для встречи в Google Meet https://meet.google.com/wzr-xarz-amd.

В четверг 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 ИСИ СО РАН.

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

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