Доклады:

МООР Михаил Александрович — N-характеристические модели модальных логик.

БЕРЕЗИНА Полина Сергеевна — Построение базиса допустимых правил вывода для одной табличной логики.

ХОДЮНЯ Николай Дмитриевич — Канонический базис лиева идеала алгебры нильтреугольных матриц.

ЦЫГАНКОВ Виталий Владимирович — Максимальные абелевы идеалы кольца обощенных нильтреугольных матриц.

КАНЗЫЧАКОВА Ксения Владимировна — Замыкание корневых подгрупп в унипотентной подгруппе группы Шевалле типа C_l.

САЙБАРАКОВА Юлия Валерьевна — Замыкание корневых подгрупп в унипотентной подгруппе группы Шевалле типа B_l.

ЛИХАЧЁВА Алёна Олеговна — О замкнутости ковров типа B_1, C_1, F_4 над коммутативными кольцами.

КУКЛИЛНА Светлана Константновна — О замкнутости ковров типа G_2 над коммутативными кольцами.

КИРИЛЛОВА Евгения Алексеевна — Максимальные коммутативные идеалы подалгебры NФ(K) алгебр Ли исключительных типов G2 и F4.

ЖОРАНОВА Маргарита Владимировна — Алгоритмический критерий допустимости правил вывода в модальной логике GL.2.

СЕМЁНОВА Екатерина Вадимовна — Программные средства проверки некоторых криптографических свойств булевых функций.

ПОПОВА Анастасия Владимировна — О законе умножения в полуполях порядка 16.

КАРМЫШЕВА Юлия Ивановна — О различных способах представления полуполя порядка 81.

ОКЛАДНИКОВА Евгения Сергеевна — Алгебраические модели многогранников с паркетными гранями, соединение которых приводит к наклонной призме Q_1.

Подведение итогов работы секции.