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

Доклады:

ПРОЦЕНКО Никита Александрович — Семантика Крипке для модальной логики.

ПАХОМОВА Анастасия Дмитриевна — Гомоморфизмы системы корней алгебр Ли типа D_4.

ДЕКТЯРЕВ Максим Валерьевич — Гомоморфизмы системы корней алгебры Ли исключительного типа E_6.

ХИСМАТУЛИН Денис Ринатович — Гомоморфизмы системы корней алгебры Ли типа A_n.

МУКОСИЙ Александр Алексеевич — К деревьям унификаторов.

СМЕЛЫХ Кирилл Александрович — Семантическое определение логики CTL.

ЛОГИНОВА Валерия Сергеевна — Построение линейных автоморфизмов конечный квазиполей методом регулярного множества.

СОКОЛОВСКАЯ Анна Максимовна — О числе порождающих инволюций неприводимых матричных групп малых размерностей над полем характеристики, не равной 2.

ГВОЗДЕВ Родион Игоревич — Порождающие множества сопряжённых инволюций групп SLn(9) при n больше либо равном 9.

ПЕТРУТЬ Татьяна Сергеевна — О числе порождающих инволюций неприводимых матричных групп малых размерностей над полем характеристики равной 2.

СТЕПАНОВА Александра Юрьевна — Представление эндоморфизмов конечных примарных групп матрицами.

СКОК Дарья Сергеевна — Линейные автотопизмы порядка 4 полуполевой проективной плоскости ранга 2.

ДОНЕЦ Екатерина Александровна — Унификация в предтабличных расширениях логики INT.

ЗВЕРЕВА Татьяна Юрьевна — Вопросы унификации, финитной аппроксимирумости и семантическая характеризация временной логики знания с универсальной модальностью LTK.SLU.

ДУРАКОВ Борис Евгеньевич — О бесконечных группах, насыщенных конечными группами Фробениуса с инволюциями.

Доклад:

ТИМОФЕЕНКО Алексей Викторович — Алгебраические модели в классификации паркетогранников.

Доклады:

НУЖИН Яков Нифантьевич — Определяющие соотношения для ковровых подгрупп групп Шевалле над полями.

ДУРАКОВ Борис Евгеньевич — О группах, насыщенных конечными группами Фробениуса с инволюциями.

Доклады:

КРАВЦОВА Ольга Вадимовна — Вопросы строения конечных квазиполей и групп коллинеаций полуполевых проективных плоскостей (докторская диссертация).

СОТНИКОВА Елена Андреевна — Максимальные абелевы идеалы и автоморфизмы нефинитарных нильтреугольных алгебр.

Доклады:

ГВОЗДЕВ Родион Игоревич, НУЖИН Яков Нифантьевич, ШАИПОВА Татьяна Борисовна — О порождении групп SLn(Z + iZ) и PSLn(Z + iZ) тремя инволюциями, две их которых перестановочны.

КАЗАКОВА Алена Викторовна — Автоморфизмы нильтреугольных подколец алгебр Шевалле исключительного типа G2.

Доклад:

ДУРАКОВ Евгений Борисович, СОЗУТОВ Анатолий Ильич — О точно дважды транзитивных группах с условиями насыщенности.

Доклады:

НУЖИН Яков Нифантьевич, ТРОЯНСКАЯ Елизавета Николаевна — Неприводимые ковры аддитивных подгрупп типа G2 над полем характеристики 0.

ЗВЕРЕВА Татьяна Юрьевна, БАШМАКОВ Степан Игоревич — Финитная аппроксимируемость линейной ступенчатой временной логики знания с универсальной модальностью.

Доклад:

НАСЫБУЛЛОВ Тимур Ринатович (ИМ СО РАН, г. Новосибирск) — Алгебраические системы, возникающие при решении уравнения Янга-Бакстера, их приложения и свойства (докторская диссертация).

Доклад:

ЛЕВЧУК Владимир Михайлович — Исследования вопросов теории алгебр Шевалле и их бесконечномерных обобщений.

Доклады:

ЗОТОВ Игорь Николаевич — Соответствие Мальцева и локальные автоморфизмы нильтреугольных алгебр классических типов (кандидатская диссертация).

ФРАНЧУК Светлана Константиновна — Неприводимые ковры аддитивных подгрупп над полями (кандидатская диссертация).