Доклады:

БАШМАКОВ Степан Игоревич (ИМиФИ СФУ) — Аксиоматизация интуиционистких логик малой глубины.

НОВИКОВА Екатерина Константиновна (ИМиФИ СФУ) — Алгоритмический критерий допустимости правил вывода в модальной логике K3.

ТИМОФЕЕНКО Иван Алексеевич (ИКИТ СФУ) — Вопрос о порождаемости группы SL_6(Z) тремя инволюциями.

ДУБИНА Оксана Андреевна (ИМиФИ СФУ) — Рациональность группы нижних треугольных матриц порядка < 7 над полем характеристики 2.

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

ПОЗДНЯКОВА Алина Сергеевна (ИМиФИ СФУ) — Аксиоматизация логик, содержащихся в некоторой решётке малого порядка.

ИЛЬЮХИНА Диана Александровна (ИМиФИ СФУ) — Решётка GL-логик, задаваемых фреймами малого порядка.

ЕФИМОВ Ф.А., ПАРФЕНОВ Андрей Аркадьевич, Черепанский А. Н. (ИМиФИ СФУ) — Об одном неравенстве для классов сопряжённых элементов симметрических групп.