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

Вниманию студентов (магистрантов!), имеющих детей в возрасте до 13 лет о возможности получения новогодних подарков.

Онлайн форма, необходимая для заполнения заявки на новогодний подарок, размещена на сайте СФУ в разделе «Объявления». Срок подачи заявок до 13.10.2025 года включительно. https://sfu.ru/ru/media/ads/2a293f1b-afb0-4d62-8acb-0ec60a0f70e5

О сроках и месте выдачи подарков будет сообщено дополнительно.
По возникающим вопросам обращаться в Отдел социальной поддержки по телефону 206-21-51.

Доклады:

Павлюк Инесса Ивановна (г. Новосибирск) — Структурные свойства семейств теорий групп (кандидатская диссертация).

Шаипова Татьяна Борисовна — Порождающие множества инволюций линейных групп над кольцом целых гауссовых чисел.

Дата: 04.09.25.

Доклады:

Гвоздев Родион Игоревич — Порождающие множества инволюций линейных групп над кольцом целых гауссовых чисел и над конечными полями.

Извеков Максим Алексеевич — Алгебраический критерий допустимости правил вывода в модальной логике GL.2.

Логинова Валерия Сергеевна — Структурные вопросы для конечных квазиполей Холла и их обобщений.

Петруть Татьяна Сергеевна — Порождающие множества инволюций симплектической группы PSp(4,2^n) и унитарной группы PSU(4,q^2) для нечетного q.

Соколовская Анна Максимовна — Порождающие множества инволюций симплектической группы PSp(4,q) и унитарной группы PSU(5,q^2) для нечетного q.

Дата: 19.06.2025.

Доклады:

Брылякова Елизавета Валерьевна — Унификация в предтабличных расширениях интуиционистской логики.

Грекович Константин Викентьевич — Исследование разрешимости логик, порожденных многоагентными моделями со сгустками времени.

Егорова Ангелина Дмитриевна — Алгоритмы умножения в конечных полях и их сложность.

Мартьянов Руслан Аскарович — Теоремы о параметризации классов сопряженных элементов унитреугольной группы над полем.

Поляков Александр Алексеевич — Кортежная семантика линейной временной логики.

Проценко Никита Александрович — Полилинейные модальные логики и операторы ограниченной надежности.

Резанцева Анна Владимировна — Струнные С-группы и политопы ранга 3.

Дата: 05.06.2025.

Доклады:

Дураков Евгений Борисович, Созутов Анатолий Ильич — О точно кратно транзитивных группах.

Дата: 29.05.2025.

Доклады:

Дураков Евгений Борисович, Созутов Анатолий Ильич — О точно кратно транзитивных группах.

Дата: 22.05.2025.

Доклад:

Смелых К.А. - Методы проверки моделей и алгоритмы разрешимости для мультиагентных логик.

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

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

Доклад:

Смелых К.А. - Методы проверки моделей для модальных логик.

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

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

Доклад:

Фисков Я.С. - Принцип аксиоматической трансляции.

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

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

Доклад:

Мукосий А.А. - Деревья унификаторов.

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

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