Целью создания семинара стало повышение профессиональной грамотности студентов, аспирантов и молодых преподавателей, специализирующихся в различных областях математической логики или заинтересованных в собственном развитии в данном направлении. 
Заседания семинара проходят в формате научных докладов. Семинар предусматривает проведение учебно-научных заседаний дискуссионного типа, научные обзоры, обсуждение текущих научных задач участников и коллективную помощь в достижении результатов. В рамках семинара выступают различные докладчики - как из числа представителей кафедры алгебры и математической логики, института и университета, так и приглашенные участники из других учреждений города, края и страны.
Информация о проведенных заседаниях семинара и другие объявления доступны на данной странице. Оперативную информацию о предстоящем семинаре всегда можно получить в личных сообщениях паблика "Информер МЦ ИМиФИ" сети ВКонтакте.
Семинар организуется на базе кафедры алгебры и математической логики, при поддержке "Молодежного центра ИМиФИ".
По итогам учебных семестров, наиболее активные участники семинара награждаются "Дипломом семинара" и памятным сувениром.
Научный руководитель семинара:
Башмаков Степан Игоревич, заместитель директора по воспитательной работе,
доцент кафедры алгебры и математической логики
e-mail: sbashmakov@sfu-kras.ru
Секретарь семинара:
Смелых Кирилл Александрович,
студент кафедры алгебры и математической логики
e-mail: lastth@yandex.ru
По вопросам участия в семинаре в любой форме рекомендуется связаться с организаторами семинара.
В новом семестре семинар начал свою работу в сентябре. Заседания проводятся преимущественно по четвергам в 16:00.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Т.Ю. Зверева - Unification and Finite Model Property for Linear Step-like Temporal Multi-agent Logic with the Universal Modality (доклад по статье).
В рамках семинара оглашены дипломанты семинара 2020-2021 гг. за самое активное участие в его проведении:
- Зверева Татьяна Юрьевна
- Донец Екатерина Александровна
Участники семинара:
- Башмаков С.И.
- Донец Е.А.
- Порошин А.О.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Т.Ю. Зверева - Финитная аппроксимация нерефлексивных логик.
Участники семинара:
- Башмаков С.И.
- Донец Е.А.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Е.А. Донец - Примеры унифицируемых и неунифицируемых формул в предтабличной логике L2.
- С.И. Башмаков - Метод фильтрации и свойства конечных моделей для канонических модальных логик.
Участники семинара:
- Зверева Т.Ю.
- Порошин А.О.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 15-19
Доклад:
- С.И. Башмаков - Реляционные свойства нормальных модальных логик.
Участники семинара:
- Зверева Т.Ю.
- Донец Е.А.
- Порошин А.О.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- С.И. Башмаков - Синтаксис и семантика нормальной модальной логики.
Вводный семинар для младших курсов. Участники семинара:
- Зверева Т.Ю.
- Донец Е.А.
- Порошин А.О.
- Смелых К.А.
Доклад:
- Т.Ю. Зверева - Формульная характеризация линейной логики step-like-времени.
Участники семинара:
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Т.Ю. Зверева - Реляционная семантика многоагетных модальных логик.
Участники семинара:
- Башмаков С.И.
- Донец Е.А.
- Порошин А.О.
- Смелых К.А.
- Мукосий А.А.
- Громова М.В.
- Олейников С.И.
- Астротенко А.В.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Т.Ю. Зверева - Опровержимость аксиомы Лемонна для линейной нетранзитивной нерефлексивной временной логики.
Участники семинара:
- Башмаков С.И.
- Донец Е.А.
- Порошин А.О.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Донец Е.А. - Предтабличные расширения модальной логики S4. Модели описывающие полные наборы унификаторов.
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Смелых К.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
- Донец Е.А. - Предтабличные расширения модальной логики S4 и их n-характеристические модели.
Участники семинара:
- Башмаков С.И.
- Зверева Т.Ю.
- Ташкен А.О.
