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

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

Докладчик: Г.Б. Загорулько (ИСИ СО РАН)

Тема: Онтология поддержки решения вычислительно сложных задач математической физики на суперкомпьютерах

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

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

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

Тема: Парадигмы программирования: язык обработки потоков SISAL

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

Предлагаем вашему вниманию видеозапись заседания объединенного семинара ИСИ СО РАН и кафедры программирования НГУ "Интеллектуальные системы", состоявшегося 3 декабря 2020 года.

Докладчик: А.Г. Марчук (ИСИ СО РАН)
Тема: Парадигмы программирования: язык обработки массивов APL

Предлагаем вашему вниманию видеозапись заседания объединенного семинара ИСИ СО РАН и кафедры программирования НГУ "Интеллектуальные системы", состоявшегося 5 ноября 2020 года.

Докладчики: Ю.А. Загорулько, Г.Б. Загорулько
Тема: О научном наследии А.С. Нариньяни

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

Докладчики: А.С. Серый (ИСИ СО РАН)

Тема: Разработка платформы для исследования аргументации в научно-популярном дискурсе

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

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

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

Тема: Стратегические парадигмы программирования в сфере влияния А.П.Ершова

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

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

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

Тема: Недоопределенные модели А.С. Нариньяни: становление, применение, проблемы и перспективы

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

В связи с проведением конференции "Марчуковские научные чтения" заседание семинара "Интеллектуальные системы" 22 октября 2020 г. не состоится.

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

Докладчик: Боровикова О.И. (ИСИ СО РАН)

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

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

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

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

Тема: Моделирование и автоматический анализ риторической аргументации в научно-популярном дискурсе

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

6 октября пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор В.Н.Касьянов). Начало в 14:30.

Докладчик: Д.А. Кондратьев
Тема: "Обзор языков спецификаций, применимых для аннотирования Cloud Sisal программ"

Чтобы принять участие в семинаре, необходимо перейти по ссылке https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09

Идентификатор конференции Zoom: 955 7282 7842. Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.

12 мая пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор В.Н.Касьянов). Начало в 14:30.

Докладчик: Л.Б. Анисютин
Тема: Усовершенствование модели для построения эмбеддингов слов на основе глубокого обучения ELMO.

Идентификатор конференции Zoom: 81-4003-1400. Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.

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

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

Тема: На пути к онтологии и навигации в мире компьютерных языков.

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

Чтобы принять участие в семинаре, необходимо подключиться к конференции Zoom Идентификатор конференции: 815 7782 4677. Пароль можно получить по запросу на электронную почту Загорулько Ю.А.

28 апреля пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор Касьянов В.Н.). Начало в 14:30.

Докладчик: Д.А. Кондратьев
Тема: Аксиоматическая семантика языка Cloud Sisal Kernel.

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

Идентификатор конференции Zoom: 930 5296 3931
Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.

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

Докладчик: Демидов Сергей (ФИТ НГУ)

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

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

Внимание! Ссылка изменилась.

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

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

Тема: Язык и система LuNA автоматического конструирования параллельных программ численного моделирования на мультикомпьютерах (по материалам диссертации).

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

Докладчик: Андрей Матвеев (ФИТ НГУ)

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

Докладчик: Салтук Константин (ФИТ НГУ)

Тема: Разработка многопользовательской модели данных для систем автоматизированного проектирования.

Во вторник 3 марта пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.

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

Тема: На пути к автоматизации дедуктивной верификации С-программ с вложенными циклами.

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

Докладчик: Александр Найденов (ФИТ НГУ)

Тема: Разработка биологически подобной нейронной сети для выявления и анализа движения.

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

Докладчики: Загорулько Ю.А., Гаранина Н.О., Сидорова Е.А.

Тема: Сообщение о XVII национальной конференции по искусственному интеллекту с международным участием (КИИ-2019) (г. Ульяновск, 21 – 25 октября 2019 г.)

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

Докладчик: Боровикова О.И.

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

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

Докладчик: Хайрулин Сергей Сергеевич, ИСИ СО РАН

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

28 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Муртазина М.Ш. (НГТУ)
Тема: Интеллектуальная поддержка принятия решений в области инженерии требований на основе онтологических моделей представления знаний (кандидатская диссертация).

28 ноября пройдет объединенный семинар "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.ф.-м.н. Бульонков М.А.). Начало в 11:00, ком. 254 ИСИ.
Докладчик: Аркашов Н.С.
Тема: Анализ структурных данных аномальных процессов переноса (по материалам докторской диссертации).