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

С 20 по 25 апреля в Томске пройдёт Международная научная конференция «Школа теории массового обслуживания». Программа школы будет включать в себя:
• Лекции мировых ученых по теории массового обслуживания.
• Секционные доклады.
• Мастер-классы и игры для молодых ученых.
Сайт конференции: https://itmmconf.ru/QTS

Регистрация секционных докладов: материалы в виде тезисов (на 1-2 стр. на русском или английском языке) по шаблону (русский, английский) до 1 апреля в системе https://uconfy.ru/conf/29/. Для регистрации организаторы просят заполнить онлайн-форму: https://forms.yandex.ru/u/699d7819902902b34d2039d0. Избранные доклады будут изданы в виде
сборника материалов конференции (РИНЦ).

Оргвзнос для очных участников из России – 2 000 RUB
Для студентов/аспирантов и онлайн участников оргвзнос снижен – 1 000 RUB
По вопросам оплаты оргвзноса и очного участия в конференции обращаться на почту: qts_info@mail.ru
При необходимости размещения, обязательно связаться с организаторами.

Контакты:
Председатель программного комитета
Светлана Моисеева, smoiseeva@mail.ru
Председатель организационного комитета
Радмир Салимзянов, rsalimzyanov@yahoo.com

Объявлена межрегиональная Олимпиада по математике для студентов всех курсов и направлений, организуемая на базе Института математики и фундаментальной информатики при поддержке Красноярского математического центра.

Олимпиада проводится в два этапа: 22 марта с 10:00 до 14:00 заочный этап (проводится в электронном курсе «Олимпиада СФУ по математике 2026», нужна предварительная регистрация). Для самоподготовки доступны задания прошлых лет и их решения.

Участниками второго — очного — тура станут не более 40% участников первого. Очный этап пройдёт в субботу 4 апреля с 10:00 до 13:00 по адресу ул. Киренского 26А, корпус 15, ауд. 3-11. Итоги Олимпиады будут подведены в двух зачётах: командном и индивидуальном, отдельно для первого и старших курсов и для математических и не математических специальностей.
С положением об олимпиаде можно ознакомиться здесь.

Доклады:

Петров Кирилл Александрович, Рыбаков Владимир Владимирович — Разрешимость бимодальной темпоральной логики кластеров: метод локальной фильтрации и стабилизации.

Дата: 05.03.26.

Доклады:

Нужин Яков Нифантьевич — Ковровые кольца Ли, не инвариантные относительно ковровых подгрупп.

Дата: 26.02.26.

Доклады:

Дураков Борис Евгеньевич — О группах, порождённых классом сопряжённых элементов порядка 3
с заданными подгруппами, порождаемыми парой элементов из этого класса.

Дата: 19.02.26.

25 января в национальном центре «Россия» состоялось награждение лауреатов Краевых именных стипендий.
Впервые в истории проекта сразу три математика стали лауреатами стипендии им. Киренского:

• Елизавета Брылякова, 1 курс магистратуры;
• Александр Поляков, 1 курс магистратуры;
• Семён Чувашов, 2 курс магистратуры.

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

Объявлены лауреаты стипендии Правительства России среди обучающихся в магистратуре. В 2026 году в их число вошёл магистрант 2-го курса кафедры теории функций, в прошлом руководитель проекта #матпродлёнка Семён Юрьевич Чувашов.

Поздравляем лауреата и его руководителя Ирину Августовну Антипову. Напомним, что стипендии Президента и Правительства присуждаются студентам-молодым учёным, проявившим выдающиеся способности в учебной и научной деятельности.

2 февраля 2026 года приёмная комиссия Института математики и фундаментальной информатики отправляется на восток Красноярского края для проведения профориентационного комплекса мероприятий «Матстарт»: запланированы выезды в города Зеленогорск, Канск, Бородино, а также в п. Абан и с. Дзержинское. На каждой площадке запланировано проведение выездной площадки Университетской олимпиады по математике, интеллектуальной профориентационной игры формата Армагеддон, проведение презентации института и особенностей поступления в 2026 году, демонстрация лучших докладов шоу-конкурса "Научный микрофон ИМиФИ" последних лет.

Все мероприятия ориентированы на учащихся 8-11 классов средних общеобразовательных школ, заинтересованных в математике, информатике и IT-сфере в целом. Регистрация участников уже доступна: https://forms.yandex.ru/u/69704ee284227c8dbbfb58d2/

График площадок:

Зеленогорск, 2 февраля:
08:30-13:00: Школа №175, ул. Парковая, д. 6;
13:00-17:30: Школа №161, ул. Набережная, д. 4.

Абан, 3 февраля:
08:30-12:45: Школа №4, ул. 1 Мая, д. 101.

Дзержинское, 3 февраля:
13:30-18:00: Школа №1, пер. Новый, 1А.

Канск, 4 февраля:
08:30-13:00: Лицей №1, мкр. Северный, 29 А;
13:00-17:30: Гимназия №4, ул. Революции, 19.

Бородино, 5 февраля:
08:30-13:00:Школа №1, ул. Советская, 68.

Информация о выезде уже доступна в паблике «Информер МЦ ИМиФИ» соцсети ВК: https://vk.com/imfi_sfu
Заинтересованным участникам при возникновении вопросов рекомендуется обращаться в личные сообщения паблика, либо связаться со Степаном Игоревичем Башмаковым
e-mail: sbashmakov@sfu-kras.ru

The 8th annual (International) Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, was traditionally took place in a mixed format on January 14th.

What is special about January 14th?

• January 14 — (Old) 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.

As in previous years, the workshop was held in a mixed format.

• Everyone were able to attend in person 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 connection details are available only to registered participants.

Participation is open 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 was held as an official event 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.
The 5th Krasnoyarsk Logical Workshop became international.
The 6th and 7th Krasnoyarsk Logical Workshops retained this status.

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

Call for Contributions: Applications for participation with a report was accepted until January 13, 18:00 local time (UTC+7).

The workshop was feature presentations of both methodological and historical nature, as well as reports on new scientific results. A traditional coffee break, dedicated to the celebration of the Old New Year, was also take place.

The meeting was started at 16:00 local time (UTC+7). The final program with the list of speakers and talk titles is published here.

Organizing Committee:
Stepan I. Bashmakov (chairman), Kirill Smelykh, Elizaveta Brylyakova, Aleksandr Polyakov, Yulia Bushakova.

16:00 — the beginning of the meeting. Introductory speech by Stepan I. Bashmakov.

• 16:10 Sergei P. Odintsov (Institute of Mathematics of SB RAS, Novosibirsk) — On logical foundations of ASP (online);
• 16:45 Andrey V. Kudinov (Steklov Mathematical Institute of RAS, Moscow) — Logic of inequality: a simple example of modal logic without finite axiomatizability (online);
• 17:25 Lyuba Konova and Tinko Tinchev (Sofia University St. Kliment Ohridski, Bulgaria) — Four fragments of the first order theory of the Euclidean plane (online);
• 18:00 Ekaterina A. Kotikova and Mikhail N. Rybakov (MIPT, Tver State University, HSE University, Moscow) — Kripke incompleteness of first-order calculi with temporal modalities of CTL and ATL (online).

18:45 — virtual/real coffee break
19:00 — the second half of the meeting

• 19:00 Elizaveta V. Brylyakova (SibFU, Krasnoyarsk) — The n-characteristic model method for some extensions of Int and N3 (offline);
• 19:25 Aleksandr A. Polyakov (SibFU, Krasnoyarsk) — Projectivity vs. Nullarity of Unification in Alt_1 Logic (offline);
• 19:40 Kirill A. Smelykh (SibFU, Krasnoyarsk) — From Relational Semantics to Tree Automata for CTLK (offline);
• 20:00 Nikolay V. Shilov (A.P. Ershov Institute of Informatics Systems of SB RAS, Lyceum No. 22 "Hope of Siberia", Novosibirsk) — Why I Don't Trust Mathematicians (A Christmas Story) (online);
• 20:20 Dmitry M. Anishchenko (Novosibirsk State University, Novosibirsk) — Stone Duality for Boolean Algebras (online);
• 20:45 Julia A. Bushakova (SibFU, Krasnoyarsk) — Filtration method for non-classical logics (offline).

21:00 — the ending of the meeting.