Все семинары

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 вв. (из истории организации и опыта работы).

Ссылка на дистанционное подключение
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 ИСИ СО РАН.

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

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

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

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

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

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

Докладчик: Дударь Максим (ММФ НГУ, Новосибирск)
Тема: Моделирование сложных многокомпонентных 3D объектов для клиент-серверного архитектурно-строительного САПР

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

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

1. Докладчик: Дмитриев Вадим (ММФ НГУ, Новосибирск)
   Тема: Остовное моделирование 3D тел для задачи удовлетворения геометрических ограничений

2. Докладчик: Дударь Максим (ММФ НГУ, Новосибирск)
   Тема: Моделирование сложных многокомпонентных 3D объектов для клиент-серверного архитектурно-строительного САПР

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

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

1. Докладчик: Гафиятуллин Альберт (ФИТ НГУ, Новосибирск)
   Тема: Ступенчатая JIT-компиляция в виртуальной машине Java на платформе Эльбрус

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

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