Институт математики
и фундаментальной информатики СФУ

Доклады (11:00, ауд. 34-17):

Алаев Павел Евгеньевич (г. Новосибирск) — Структуры, вычислимые за полиномиальное время.

Добровольский Николай Михайлович (г. Тула) — О теоретико-числовом методе в приближенном анализе профессора Н. М. Коробова.

В 12:00 (ауд. 34-11) состоится лекция:

Клячко Антон Александрович (г. Москва) — Вербально замкнутые подгруппы.

Дата: 13.06.2024.

Доклад:

• Донец Е.А. - Об унификации в классе логик с ограниченной транзитивностью.
• Брылякова Е.В. - Структура нижних слоёв диаграмм унификаторов в L2.

Участники семинара:

• Башмаков С.И.
• Брылякова Е.В.
• Поляков А.А.
• Зверева Т.Ю.
• Фисков Я.С.
• Мукосий А.А.

Доклад:

Мукосий А.А. - О диаграммах унификаторов для некоторых предтабличных расширений нормальной модальной логики S4.

Поляков А.А. - О реляционной характеризации версии логики LTK.sl обеднённого языка.

Участники семинара:

• Башмаков С.И.
• Брылякова Е.В.
• Поляков А.А.
• Зверева Т.Ю.
• Фисков Я.С.

Доклад:

Поляков А.А. - Эквивалентность кортежной и реляционной семантик для логики Alt_1.

Участники семинара:

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Киселева У.С.
• Фисков Я.С.

Доклад:

Смелых К.А. - Классификация подходов к моделированию агентного взаимодействия.

Участники семинара:

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Поляков А.А.

Доклад:

Смелых К.А. - Реляционная версия многоагентной логики деревьев вычислений CTLK.

Брылякова Е.В. - Диаграммы унификаторов для формул в логике L1.

Участники семинара:

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Поляков А.А.
• Донец Е.А.

Доклад:

С. И. Башмаков - Актуальные задачи неклассических логик.

Брылякова Е.В. - Диаграммы унификаторов для формул в логике L2.

Поляков А.А. - О применимости кортежной семантики к модальным логикам.

Участники семинара:

• Башмаков С.И.
• Брылякова Е.В.
• Зверева Т.Ю.
• Донец Е.А.
• Поляков А.А.

Доклады:

Зверева Татьяна Юрьевна — О подходах к исследованию линейной мультимодальной логики ступенчатого времени.

Половинкина Анна Ильинична — О вычислении структурных констант простых алгебр Ли исключительных типов и приложения.

Троянская Елизавета Николаевна — К вопросу о замыкании ковра аддитивных подгрупп.

Дата: 30.05.2024.

В понедельник 20 мая в 14:10 в аудитории БА (22-04) состоится открытая лекция специалиста в области механики деформируемого твердого тела, механики контактных взаимодействий и трибологии, доктора физико-математических наук, профессора МГУ и МФТИ, руководителя лаборатории трибологии Института проблем механики им. А.Ю. Ишлинского, академика РАН Ирины Георгиевны Горячевой.

Тема: «Некоторые задачи фундаментальной трибологии и методы их решения».

21 мая, в 12:00, в стенах Института вычислительного моделирования ФИЦ КНЦ СО РАН (Академгородок, 50/44, каб. 434), состоится второй доклад Ирины Георгиевны: «Модели контактного взаимодействия шероховатых тел».

Во вторник 14 мая в 16:00 в аудитории 34-10 начнёт свою работу выездная секция «Прикладная математика и информатика в гуманитарных и социально-экономических науках» в рамках VI Всероссийской с международным участием научно-практической конференции студентов, аспирантов и работников образования и промышленности «СИСТЕМЫ УПРАВЛЕНИЯ, ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ – 2024».

Программа секции сформирована и прикреплена ниже. В качестве слушателей приглашаются все желающие.

• 14.05.2024, 16:00 – 19:15 (Красноярск)/12:00-15:15 (Москва)
• Красноярск, пр. Свободный 79, ауд.34-10

Соорганизатор секции: Институт математики и фундаментальной информатики СФУ.