Семинар проводится с 1966 года.
Долгие годы семинар вёл свою работу по инициативе и под руководством В.М. Бусаркина, В.П. Шункова, а затем — В.М. Левчука. Помимо представителей красноярской научной школы, на заседаниях семинара регулярно выступают с докладами специалисты Новосибирска, Томска, Екатеринбурга, Москвы, Санкт-Петербурга и зарубежья.
Традиционно семинар ведёт работу по четвергам в 15:00, по адресу г. Красноярск, пр. Свободный, 79, ауд. 34-17
Руководитель семинара: Яков Нифантьевич Нужин. Соруководители: Владимир Владимирович Рыбаков, Анатолий Ильич Созутов.
Секретарь семинара: Владимир Маркович Леонтьев
Доклады:
ПРОЦЕНКО Никита Александрович — Семантика Крипке для модальной логики.
ПАХОМОВА Анастасия Дмитриевна — Гомоморфизмы системы корней алгебр Ли типа 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.
ЗВЕРЕВА Татьяна Юрьевна, БАШМАКОВ Степан Игоревич — Финитная аппроксимируемость линейной ступенчатой временной логики знания с универсальной модальностью.
Доклад:
НАСЫБУЛЛОВ Тимур Ринатович (ИМ СО РАН, г. Новосибирск) — Алгебраические системы, возникающие при решении уравнения Янга-Бакстера, их приложения и свойства (докторская диссертация).
Доклад:
ЛЕВЧУК Владимир Михайлович — Исследования вопросов теории алгебр Шевалле и их бесконечномерных обобщений.
Доклады:
ЗОТОВ Игорь Николаевич — Соответствие Мальцева и локальные автоморфизмы нильтреугольных алгебр классических типов (кандидатская диссертация).
ФРАНЧУК Светлана Константиновна — Неприводимые ковры аддитивных подгрупп над полями (кандидатская диссертация).