Семинары

Все семинары

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

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

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

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

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

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

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

Прошло более 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. Игорь Васильевич Поттосин | Курс: История ЭВМ и программирования)

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

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

Внимание!
Заседание Объединенного семинара "Интеллектуальные системы" и "Системное программирование" 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. Бояршин Андрей, ММФ НГУ
    Тема: Реализация обобщенных типов в управляемой среде с динамической генерацией метаданных

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

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

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

Докладчик: Гуськов Андрей Евгеньевич

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

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

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

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

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

Тема: Эффективная реализация модели ассоциативных вычислений на графических ускорителях (кандидатская диссертация)

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

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

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

Докладчик: Трошков Сергей (аспирант ИСИ СО РАН)

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

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

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

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

Докладчик: Потапов Иван (НГУ)

Тема: Измерение диаграммы направленности антенн облетным методом с использованием БПЛА

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

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

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

Докладчики: Д.А. Кондратьев, Л.В. Городняя

Тема: Путь обучения функциональному программированию (по мотивам конференции TFPIE 2022)

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

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

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

Докладчик: Черепова Юлия Вадимовна (НГУЭУ, ООО СДЭК Глобал)

Тема: Менеджмент научных знаний на основе онтологической модели с использованием классификационных языков (кандидатская диссертация)

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

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

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

Докладчик: Ушакова Мария Сергеевна (СФУ, г. Красноярск)

Тема: Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ (кандидатская диссертация)

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

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

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

Докладчик: Старцев Павел (аспирант ИСИ СО РАН)

Тема: Построение механизма расширенного поиска на основе интерактивного механизма ссылочных рекомендаций для работы научного сотрудника с текстовым контентом

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

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

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

Докладчик: Марчук Александр Гурьевич (д.ф.-м.н., г.н.с. ИСИ СО РАН)

Тема: Последовательность как абстракция структурированного построения баз данных

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

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

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

Докладчик: Городняя Лидия Васильевна (ИСИ СО РАН)

Тема: О функциональном программировании: сомнения и выводы

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