Целью создания семинара стало повышение профессиональной грамотности студентов, аспирантов и молодых преподавателей, специализирующихся в различных областях математической логики или заинтересованных в собственном развитии в данном направлении. 
Заседания семинара проходят в формате научных докладов. Семинар предусматривает проведение учебно-научных заседаний дискуссионного типа, научные обзоры, обсуждение текущих научных задач участников и коллективную помощь в достижении результатов. В рамках семинара выступают различные докладчики - как из числа представителей кафедры алгебры и математической логики, института и университета, так и приглашенные участники из других учреждений города, края и страны.
Информация о проведенных заседаниях семинара и другие объявления доступны на данной странице. Оперативную информацию о предстоящем семинаре всегда можно получить в личных сообщениях паблика "Информер МЦ ИМиФИ" сети ВКонтакте.
Семинар организуется на базе кафедры алгебры и математической логики, при поддержке "Молодежного центра ИМиФИ".
По итогам учебных семестров, наиболее активные участники семинара награждаются "Дипломом семинара" и памятным сувениром.
Научный руководитель семинара:
Башмаков Степан Игоревич, заместитель директора по воспитательной работе,
доцент кафедры алгебры и математической логики
e-mail: sbashmakov@sfu-kras.ru
По вопросам участия в семинаре в любой форме рекомендуется связаться с организаторами семинара.
В новом семестре семинар начинает свою работу в сентябре. Заседания проводятся по субботам в 16:30.
Место:
пр. Свободный, 79, ауд. 34-10
Доклад:
Брылякова Е.В. - "Паранепротиворечивые логики Нельсона"
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
Место:
пр. Свободный, 79, ауд. 35-00
Доклад:
Поляков А.А. - "n-матрицы как семантика нетранзитивных модальных логик с ветвлениями"
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
Широков П.А. - "Подходы к подсчёту числа монотонных булевых функций от n переменных"
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
Место:
пр. Свободный, 79, ауд. 34-11
Доклад:
Смелых К.А. - "Model Checking для логики вычислительных деревьев"
Брылякова Е.В. - "Унитарный тип унификации для L3: гипотеза"
Поляков А.А. - "Подходы к оценке двухмерного кортежа в LTL.sl"
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
- Широков П.А.
Место:
пр. Свободный, 79, ауд. 35-17
Доклад:
Поляков А.А. - "Матричные кортежи для характеризации Alt_n. Часть 2"
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
Поляков А.А. - "Матричные кортежи для характеризации Alt_n"
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
Бушакова Ю.А. - "Полнота классического исчисления"
Брылякова Е.В. - "Унитарная унификация в линейных логиках"
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
Бушакова Ю.А. - "Алгебра термов"
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
Башмаков С.И. – Вводный доклад: задачи на семестр. Итоги секции V Конференции математических центров.
Брылякова Е.В. – Унификация в логике L3: перспективы улучшение типа унификации.
Поляков А.А. – Кортежная семантика для ветвящихся логик.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
- Бушакова Ю.А.
Место:
пр. Свободный, 79, ауд. 34-17
Доклад:
Зверева Т.Ю. - Унификация классе ступенчатых логик: проективность по Гиларди.
Смелых К.А. - Автоматная семантика для временных логик.
Участники семинара:
- Брылякова Е.В.
- Поляков А.А.
- Башмаков С.И.
- Смелых К.А.
- Зверева Т.Ю.
