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

Доклад:

Башмаков С.И. – Вводный доклад: задачи на семестр. Итоги секции 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.

20–25 октября 2025 на базе ИМиФИ СФУ пройдёт XXIV Международная конференция имени А. Ф. Терпугова «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ» (ИТММ – 2025)

Основные направления работы

• Математическая теория телетрафика и теория массового обслуживания
• Искусственный интеллект и его приложения
• Прикладной вероятностный и статистический анализ
• Информационные технологии и программная инженерия

23.10.2025 пройдёт Школа молодых ученых

Расписание конференции можно посмотреть на сайте https://itmmconf.ru/timetable2025.

Программа конференции https://itmmconf.tsu.ru/Program_ITMM.pdf

Будем рады Вашему очному участию!

Доклады:

Нужин Яков Нифантьевич — Группы и кольца Ли, определяемые наборами аддитивных подгрупп.

Дата: 16.10.25.

Доклады:

Хлестова Елизавета Ивановна (г. Новосибирск) — Разрешимость и арифметичность счетных моделей теорий с конечным числом счетных моделей (проблема М.Морли).

Дата: 25.09.25.