Семинары

Все семинары

В четверг 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 тел для задачи удовлетворения геометрических ограничений
  1. Докладчик: Дударь Максим (ММФ НГУ, Новосибирск)
    Тема: Моделирование сложных многокомпонентных 3D объектов для клиент-серверного архитектурно-строительного САПР

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

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

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

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

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

Докладчик: Загорулько Ю.А. (ИСИ СО РАН, Новосибирск)

Тема: XX национальная конференция по искусственному интеллекту с международным участием (КИИ-2022), 21–23 декабря 2022 г., г. Москва (продолжение)

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

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

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

Докладчик: Загорулько Ю.А. (ИСИ СО РАН, Новосибирск)

Тема: XX национальная конференция по искусственному интеллекту с международным участием (КИИ-2022), 21–23 декабря 2022 г., г. Москва

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

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

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

Докладчик: Михайлапов Денис (ФИТ НГУ, Новосибирск)

Тема: Knowledge Distillation для Antialiasing эффекта

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

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

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

Докладчик: Афонников Дмитрий Аркадьевич (ИЦиГ СО РАН, Новосибирск)

Тема: Компьютерные методы высокопроизводительного фенотипирования растений (Диссертация на соискание ученой степени доктора биологических наук по специальности 03.01.09 – математическая биология, биоинформатика)

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

Игорь  Васильевич Поттосин

Уважаемые коллеги!

Прошло более 20 лет со дня кончины Игоря Васильевича Поттосина (1933-2001), 15 декабря уже будет 21 год. Поэтому приглашаем вас на (онлайн) заседание семинара ruSTEP (Russian seminar on Software Engineering, Theory and Experimental Programming), посвященное памяти и работам Игоря Васильевича.

Заседание состоится в пятницу 9 декабря 2022 г. с 9:30 до 11:00 московского времени (13:30-15:00 в Новосибирске).

Заседание пройдет в Skype (можно не устанавливать Skype, а смотреть трансляцию в браузере).

Выступят

  • Алексей Недоря: Вклад И.В. Поттосина в развитие языков и технологии компиляции в России (Личные воспоминания о том, как это было, как Игорь Васильевич повлиял на появлении и развитии языков Модула-2 и Оберон в СССР и России и на развитии технологии компиляции.)
  • Андрей Николаевич Терехов: Слово об Игоре Васильевиче Поттосине (Вместо аннотации — см. Лекция 4.6. Игорь Васильевич Поттосин | Курс: История ЭВМ и программирования)

Николай Вячеславович Шилов

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

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

Докладчик: Емельянов Павел Геннадьевич (ИСИ СО РАН, НГУ, Новосибирск)

Тема: О некоторых методах декомпозиции систем, моделируемых булевыми функциями

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

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

Внимание!
Заседание Объединенного семинара "Интеллектуальные системы" и "Системное программирование" 1 декабря 2022 г. не состоится.

Дата и тема следующего заседания семинара будет объявлена позднее.

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

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

Докладчик: Помелов Сергей Валерьевич (ИВМ и МГ СО РАН, Новосибирск)

Тема: Инструментальная поддержка оценки ресурсоемкости и масштабируемости алгоритмов с учётом архитектур ЭВМ (кандидатская диссертация по специальности 05.13.11)

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

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

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

Докладчик: Кондратьев Дмитрий (ИСИ СО РАН, Новосибирск)

Тема: Автоматизация дедуктивной верификации C-программ без использования инвариантов циклов

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

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

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

Докладчик: д.и.н. Крайнева Ирина Александровна (ИСИ СО РАН, Новосибирск)

Тема: Ученые в “ящиках”: биографии в советских НИИ

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

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

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

Докладчик: Кашменский Евгений Никитович (ООО "Финансовые информационные системы", Новосибирск)

Тема: Субъектно-организованная среда исполнения (деятельностная методология А.А. Берса и ее практические приложения)

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

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

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

Докладчик: Игорь Николаевич Скопин (ИВМ и МГ СО РАН, Новосибирск)

Тема: Моделирование развивающихся систем: концепция времени

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

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

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

Докладчики: Саломатина Н.В., Пименов И.С. (ИМ СО РАН)

Тема: Анализ аргументации: современный вызов искусственному интеллекту. Часть 2. Построение и анализ графов аргументации для научных текстов

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

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

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

Докладчик: Сидорова Елена Анатольевна

Тема: Анализ аргументации: современный вызов искусственному интеллекту. Часть 1. Введение в проблематику

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

Объединенный семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ

Внимание!

Заседание Объединенного семинара ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ 29 сентября 2022 г. не состоится.

Дата и тема следующего заседания семинара будет объявлена позже.

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

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

Выступление аспирантов ИСИ СО РАН:

  1. Зубарев Алексей Юрьевич
    Исследование взаимосвязей семантик и эквивалентностей временных расширений сетей Петри
     
  2. Фирсов Артемий Борисович
    Выявление скрытых связей в базах данных научных публикаций

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

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

В объединенном диссертационном совете Д 999.082.03 на базе ИСИ СО РАН, ИМ СО РАН и ИВМиМГ СО РАН к предварительному рассмотрению принята кандидатская диссертация Дмитрия Александровича Кондратьева (м.н.с. ИСИ СО РАН) на тему "Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями".

Чтобы познакомить коллег из ИМ и ИВМиМГ с содержанием работы, в понедельник 11 июля в 14:00 в онлайн-режиме пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ. Приглашаем всех желающих.

Запись трансляции семинара доступна на канале ИСИ СО РАН в Youtube.

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

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

Докладчики:

  1. Запанов Ринчин, ММФ НГУ
    Тема: Эффективная реализация легковесных потоков в управляемой среде исполнения
  2. Трушин Александр, ММФ НГУ
    Тема: Реализация алгоритма клампинга однонуклеотидных полиморфизмов с учётом неравновесия по сцеплению на платформе GWAS-MAP
  3. Бояршин Андрей, ММФ НГУ
    Тема: Реализация обобщенных типов в управляемой среде с динамической генерацией метаданных

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