Доклады:

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

МАРКОВСКАЯ Ирина Александровна — Аксиоматизация некоторых табличных расширений логики Гёделя-Лёба.

ШУМКИНА Галина Михайловна — Алгоритмический критерий допустимости правил вывода в модальной логике K4.3.

ДУРАКОВ Борис Евгеньевич — О некоторых группах 2-ранга 1.

ПЕТРОЧЕНКО Максим Евгеньевич — Нечёткие подгруппы конечных групп.

СОТНИКОВА Елена Андреевна — Не финитарные нильпотентные алгебры Ли и присоединённые группы.

КАЗАКОВА Алёна Владимировна — Обёртывающие алгебры нильтреугольных подалгебр алгебр Шевалле.

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

ЛИХАЧЁВА Алена Олеговна — Неприводимые ковры аддитивных подгрупп типа F_4.

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

МООР Михаил Александрович — Базис допустимых правил вывода для табличных логик.

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