Институт математики
и фундаментальной информатики СФУ

Доклады:

Нужин Яков Нифантьевич — О струнных C-группах и политопах ранга 3.

Дата: 17.10.24.

The 7th annual (International) Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, traditionally took place on January 14th.

What is special about January 14th?

• January 14 - New Year according to the Julian calendar;
• January 14, 1901 - the birthday of Alfred Tarski;
• January 14, 1978 - the day of the death of Kurt Gödel.

Like last years, now we again hold it in a mixed format.

• everyone could take part in full-time participation in the seminar without prior registration in room 34-17 of the Institute of Mathematics and Computer Science of the Siberian Federal University (Krasnoyarsk, Svobodny ave., 79).
• online participation was possible with pre-registration. The link to the event was available only to registered participants.

Participation was available to everyone (including junior students).

Recall that the first workshop in support of Jean-Yves Béziau's initiative to recognize January 14 as World Logic Day took place in 2019. In 2020-22 it has been held as an official even of the World Logic Day project of UNESCO through CIPSH (Conseil International de Philosophie et des Sciences Humaines):
2nd Krasnoyarsk Logical Workshop
3rd Krasnoyarsk Logical Workshop
4th Krasnoyarsk Logical Workshop
5th Krasnoyarsk Logical Workshop became international.
6th and this 7th Krasnoyarsk Logical Workshops were retained this status.

The event was supported by Department of Algebra and Mathematical Logic and Krasnoyarsk Mathematical Center. Information and technical support for the event is traditionally provided by IM&CS Youth Center.

Applications for participation with a report was accepted until January 13, 18:00 local time (CET+6).

По итогам осеннего семестра, на текущем семинаре лауреатами за успешные и регулярные доклады признаны:
К.А. Смелых, Е.В. Брылякова и А.В. Поляков.

Силами студентов и сотрудников в ИМиФИ появилась новая входная группа — оформлена она в цветах недавно утверждённой официальной символики института и включает в себя сразу 8 досок для объявлений: левая часть предполагает размещение объявлений дирекции, правая доступна для студентов и сотрудников.

Перед Новым годом входная зона также дополнилась новой праздничной ёлочкой — в январе на её месте разместится новый баннер.

️Магистрант ИМиФИ Родион Гвоздев с докладом «Порождающие множества сопряженных инволюций групп PSL(n,9)» стал финалистом XXVIII Всероссийского научного конкурса им. Августа Мёбиуса.

Конкурс был учрежден в 1997 году для выявления лучших студенческих и аспирантских научных работ по математике и для оказания финансовой поддержки их авторам при продолжении их научной работы в России. За последние 20 лет в институте финалистами становились четверо: Степан Игоревич Башмаков, Дмитрий Юрьевич Почекутов, Юрий Валерьевич Элияшев и Владимир Маркович Леонтьев — первый выиграл, второй разделил первое-второе место с соперником из Москвы.

Напомним, что ранее Родион вошел в шорт-лист лучших молодых учёных на IV конференции математических центров России в Санкт-Петербурге.

Доклад:

Смелых К.А. - Разрешимость логики CTLK.
Брылякова Е.В. - Диаграммы унификаторов.
Поляков А.В. - Кортежная семантика для логики Alt1.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.
• Смелых К.А.

Доклад:

• Брылякова Е.В. - Прямое доказательство проблемы Фридмана для интуиционистской логики техникой В.В. Рыбакова.
• Смелых К.А. - Оценка сложности проблемы разрешимости в логике деревьев вычислений.

Участники семинара:

• Мукосий А.А.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.

Доклад:

• Брылякова Е.В. - Техника n-характеристических моделей В.В. Рыбакова для модальной системы S4.
• Поляков А.А. - Критерий допустимости правил в модальной системе S4 и интуиционистской логике.

Участники семинара:

• Брылякова Е.В.
• Смелых К.А.
• Башмаков С.И.
• Фисков Я.С.
• Мукосий А.А.

Доклад:

• Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках. Часть 3.
• Брылякова Е.В. - Проблема допустимости в интуиционистской логике через унификацию.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Фисков Я.С.
• Смелых К.А.