Новости
В четверг 25 сентября 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Сидорова Е.А., Ильина Д.В. (ИСИ СО РАН)
Тема: Классификация аргументов с помощью больших языковых моделей
Ссылка на участие в семинаре онлайн
Внимание! Выставление зачета аспирантам и студентам – на основании ОЧНОГО посещения семинара.
Семинар возобновляет серию одноименных научных семинаров Института систем информатики СО РАН и носит имя своего основателя Валерия Александровича Непомнящего.
Семинар посвящен исследованиям и использованию формальных методов при разработке программных систем. Он может служить площадкой для обмена идеями и опытом между энтузиастами-исследователями и практиками, а также для расширения кругозора студентов и аспирантов.
В рамках семинара предполагаются доклады о собственных исследованиях, обзор конференций и/или интересных работ отечественных и зарубежных ученых, а также просмотр и обсуждение докладов ведущих ученых и представителей индустрии.
Семинар проводится еженедельно по вторникам 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Руководитель: к.ф.-м.н., с.н.с. Гаранина Наталья Олеговна
Соруководители: к.ф.-м.н., н.с. Кондратьев Дмитрий Александрович, к.ф.-м.н., с.н.с. Ануреев Игорь Сергеевич
Секретарь: к.ф.-м.н. Шилов Николай Вячеславович
Первый семинар состоится 23 сентября в 17:00 в каб. 239 ИСИ СО РАН.
Докладчик: к.ф.-м.н., с.н.с. Гаранина Наталья Олеговна
Тема: Безопасные мутации взаимодействующих автоматов: на пути к либеральному программированию
В нашей работе мы исследуем изменения взаимодействующих через каналы FIFO-машин, формализующих поведение акторов коммуникационных протоколов. Мотивацией нашей работы служит тот факт, что описание поведения акторов на специализированных языках программирования протоколов, может изменяться в силу различных причин, таких как изменение содержания сообщений, изменение условий или последовательности получения и отправки сообщений, изменение адресатов и т.п. Во всех этих случаях необходимо убедиться, что коммуникационный протокол, участником которого является изменившийся актор, по-прежнему остаётся корректным. Формальная верификация коммуникационных протоколов является ресурсоёмкой процедурой, поэтому целесообразно определить безопасные изменения поведения акторов, сохраняющие корректность протокола. В этой работе мы рассматриваем класс мутаций акторов, который предполагает включение поведений акторов, т.е. мутировавший актор выполняет только часть работы оригинального актора.
25 сентября в 18:30 в Доме Учёных пройдёт торжественная церемония открытия IV фестиваля научного и индустриального кино «Кремний». Это событие объединит любителей науки, культуры и кинематографа, профессионалов индустрии и зрителей.
На сайте фестиваля можно зарегистрироваться на церемонию открытия и получить бесплатный электронный билет.
23 сентября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Андрей Иванович Савин, к.и.н., заведующий сектором общественно-политического развития Института истории СО РАН.
Тема доклада: «Леонид Брежнев: новые источники, методы и темы написания политической биографии советского вождя»
Политические биографии – жанр исторической литературы, который традиционно вызывает значительный интерес у широкого круга читателей и служит важным средством воздействия профессиональной историографии на массовые исторические представления. Вместе с тем политические биографии выступают как важный метод научных исследований, поскольку именно они позволяют оценить роль личного фактора в истории, придать человеческое лицо безликим историческим процессам и коллективам, почувствовать эпоху.
Советская цивилизация породила целую генерацию политиков, которые заслуживают персонального научного жизнеописания. Парадоксальным образом, качественные исследования о «советских вождях», написанные в биографическом жанре, все еще остаются относительно редким «историографическим продуктом». В этом контексте особое значение приобретают два взаимосвязанных вопроса: как писать научные политические биографии и каковы сегодня методологические возможности этого историографического направления.
Ответ попытается дать к.и.н. А.И. Савин, соавтор новой политической биографии Леонида Брежнева, опубликованной в конце 2024 г.
Ссылка на дистанционное подключение:
https://telemost.yandex.ru/j/79764356500573
Новости за последний месяц
