Методологический семинар
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.