Доклады:

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

ЛЕОНТЬЕВ Владимир Маркович (ИМиФИ СФУ, 4 курс бакалавриата) — Собирательные формулы холловского типа.

МУРАВЛЕВ Александр Анатольевич (ИКИТ СФУ, 4 курс бакалавриата) — Об алгоритмическом решении некоторых кубических диофантовых уравнений.

ПОЛОВИНКИНА Анна Ильинична (ИМиФИ СФУ, 1 курс бакалавриата) — Алгебраические расширения поля рациональных чисел и модели плоскостного двуклиноида M_{25}.

ХАТНЮК София Ивановна (ИМиФИ СФУ, 3 курс бакалавриата) — Неравенства типа Коши-Канторовича.

ЮЖАКОВА Ольга Сергеевна (ИМиФИ СФУ, 4 курс бакалавриата) — Построение явного базиса для одной табличной логики.

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

ДУРАКОВ Борис Евгеньевич (ИМиФИ СФУ, 1 курс магистратуры) — О группах 2-ранга 1.

ХОДЮНЯ Николай Дмитриевич (ИМиФИ СФУ, 2 курс магистратуры) — Перечисления идеалов в нильтреугольной подалгебре алгебры Шевалле.

ГАНЖА Виктор Сергеевич (ИМиФИ СФУ, 2 курс магистратуры) — Неравенства для числа классов сопряжённых элементов конечной группы и её силовских подгрупп.