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

The 8th annual (International) Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, will traditionally take 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 will be held in a mixed format.

• Everyone will be able to take part 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 will be possible with pre-registration. The connection details will be 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 is supported by the Department of Algebra and Mathematical Logic and the Krasnoyarsk Mathematical Center. Information and technical support for the event is traditionally provided by the IM&CS Youth Center.

Call for Contributions: Applications for participation with a report will be accepted until January 13, 18:00 local time (UTC+7). Please, contact with the chairman of the Organizing Committee.

The workshop will 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, will also take place.

The meeting is scheduled to start at 16:00 local time (UTC+7). The final program with the list of speakers and talk titles will be published here closer to the event date.

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

В СФУ подвели итоги первого стипендиального конкурса членов Студенческих научных сообществ — 21 обучающийся получил премию за высокие достижения в научно-исследовательской деятельности.

Среди лауреатов оказалась магистрант ИМиФИ, руководитель Медиаполя математиков и студентка кафедры алгебры и математической логики Елизавета Валерьевна Брылякова — неоднократный победитель студенческих конференций, докладчик прошедшей V Конференции математических центров России, автор значительного научного результата в теории унификации суперинтуиционистских логик.

Согласно правилам стипендии, всем лауреатам, членам СНС института, положена единовременная денежная премия в размере 35 000 рублей. Отметим, что в ИМиФИ Студенческое научное сообщество координируется Научно-интеллектуальной частью Молодёжного центра математиков.

В Институте математики и фундаментальной информатики впервые состоялся День математика, приуроченный к новому всероссийскому празднованию 1 декабря. Именно впервые, ведь 1 апреля мы традиционно отмечаем День математикИ и проводим связанную с ним Неделю математики.

Участниками погружения в этом году стали около 150 школьников и их родителей, студентов, сотрудников и учителей Красноярска и края. На площадке колодцев, при поддержке Т-Банка, состоялся математический диктант, научно-популярные доклады от студентов ИМиФИ Артёма Мухина, Егора Титова и Кирилла Смелых, лекция от директора ИМиФИ СФУ О.Н. Черепановой «Математика в Красноярском крае: от школьной скамьи до высшего образования» и авторская командная интеллектуальная игра «Бродилка» от активистов Научно-интеллектуальной части МЦ ИМиФИ.

Победители интеллектуальной игры «Бродилка»:
Анастасия Бураченко, Алексей Бураченко, Артур Бураченко, Иван Кирилюк, Елена Кирилюк — команда №10.

Призёры:
Вячеслав Семенов, Дмитрий Кемзоров, Вадим Быков, Ирина Скоморохов, Максим Скоморохов — команда №5;
Дарья Черникова, Любовь Тимофеева, Ярослав Антонов, Эдуард Легкун, Вячеслав Ачкасов — команда №2;
Василиса Семкина, Михаил Светличный, Кирилл Варыгин, Павел Скрынник, Иван Кормильчик — команда №7.

Победители математического диктанта:
Арсений Лихолетов, Дмитрий Немрозов, Ярослав Антонов, Вадим Балахонов, Андрей Быстрицкий, Любовь Тимофеева, Анатолий Септа, Иван Рептюх, Артур Бураченко и Иван Кормильчик.

Подробный фотоотчёт доступен в Информере МЦ ИМиФИ.

Доклад:

Брылякова Е.В. - "Паранепротиворечивые логики Нельсона"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Поляков А.А. - "n-матрицы как семантика нетранзитивных модальных логик с ветвлениями"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Широков П.А. - "Подходы к подсчёту числа монотонных булевых функций от n переменных"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Смелых К.А. - "Model Checking для логики вычислительных деревьев"
Брылякова Е.В. - "Унитарный тип унификации для L3: гипотеза"
Поляков А.А. - "Подходы к оценке двухмерного кортежа в LTL.sl"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.
• Широков П.А.

Доклад:

Поляков А.А. - "Матричные кортежи для характеризации Alt_n. Часть 2"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.

Доклад:

Поляков А.А. - "Матричные кортежи для характеризации Alt_n"

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.
• Бушакова Ю.А.