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

Доклад:

Поляков А.А. - "Матричные кортежи для характеризации Alt_n"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Бушакова Ю.А. - "Полнота классического исчисления"
Брылякова Е.В. - "Унитарная унификация в линейных логиках"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Бушакова Ю.А. - "Алгебра термов"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Башмаков С.И. – Вводный доклад: задачи на семестр. Итоги секции V Конференции математических центров.
Брылякова Е.В. – Унификация в логике L3: перспективы улучшение типа унификации.
Поляков А.А. – Кортежная семантика для ветвящихся логик.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Зверева Т.Ю. - Унификация классе ступенчатых логик: проективность по Гиларди.
Смелых К.А. - Автоматная семантика для временных логик.

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

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

Доклад:

Брылякова Е.В. - Унификация в предтабличных суперинтуиционистских логиках по В. Джику.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.

Доклад:

Смелых К.А. - MAS-системы.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.

Доклады:

Степанова Алена Андреевна (г. Владивосток) — Теоретико-модельные вопросы для класса псевдоконечных полигонов.

Поляков Николай Львович (г. Москва) — Ультрарасширения алгебраических структур и их комбинаторные приложения.

Дата: 18.12.25.

Доклады:

Марковская Ирина Александровна — Линейные группы над конечными полями и над кольцом целых чисел
как группы автоморфизмов регулярных политопов ранга 3 (кандидатская диссертация).

Дата: 04.12.25.

Доклады:

Соколовская Анна Максимовна — Минимальное число порождающих сопряженных инволюций, произведение которых равно 1, унитарной группы PSU_5(q^2) для нечетного q.

Гвоздев Родион Игоревич — Группы G_2(2^m) и ^3D_4(2^{3m}) как группы автоморфизмов регулярных политопов ранга 3, 4, и 5.

Дата: 23.10.25.