Семинары

Методологический семинар

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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