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

The 5th annual Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, took place on January 14th. This year the workshop has become international.

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 year, this year we again held 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. For the last three years 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).

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 were accepted until January 13, 12:00 local time (CET+6).

Уважаемые студенты и сотрудники!

Дирекция института сердечно поздравляет вас с наступающим Новым годом и желает, чтобы в Новом году найденные решения проблем были верными, неудачи представляли собой множество меры нуль, а функция успеха всегда имела положительную производную. Здоровья и счастья в Новом году!

20 ноября 2022 года состоится основной тур открытой международной межвузовской олимпиады по математике «Сибирская математическая олимпиада». Олимпиада организуется Механико-математическим факультетом Новосибирского государственного университета. Спонсоры олимпиады: компания «Яндекс», Техкомпания «Huawei», Математический центр в Академгородке.

В г. Красноярске площадкой олимпиады является РНОМЦ «Красноярский математический центр» Сибирского федерального университета. Олимпиада будет проводиться 20 ноября 2022 года по адресу пр. Свободный, 79, ауд. 34-10, 34-11. Регистрация на олимпиаду откроется с 14 ноября на сайте https://smc.nsu.ru/

10-11 ноября 2022 года в Красноярском государственном университете им. В.П. Астафьева прошла XI Всероссийская с международным участием научно-методическая конференция «Информационные технологии в математике и математическом образовании», посвященная 90-летию КГПУ им. В.П. Астафьева.

С 14 по 18 ноября 2022 г. на базе Института математики им. С.Л. Соболева в г. Новосибирске прошла традиционная ежегодная конференция «Мальцевские чтения», посвященная алгебре, теории групп и математической логике.

Военный учебный центр СФУ объявил конкурсный отбор граждан РФ для обучения на военной кафедре по программам подготовки офицеров запаса.

Подробности в полной версии новости.
По всем возникающим вопросам:
Академгородок, 13А, ауд. 3-08а
Пн-чт с 9:00 до 15:00.
Тел.: 206-33-20, 206-33-28.

25 октября 2022 г. в 17.00, ауд. 34-10 ИМиФИ СФУ по приглашению Красноярского математического центра выступит известный математик и популяризатор науки Райгородский Андрей Михайлович с лекцией для студентов, аспирантов, преподавателей, научных работников и всех заинтересованных слушателей.

Андрей Михайлович расскажет о задачах на стыке экстремальной комбинаторики и теории кодирования, а также об алгебраических методах, с помощью которых эти задачи решаются. Помимо этого, будет рассказано о приложениях в комбинаторной геометрии и теории Рамсея.

Приглашаются все желающие!

Доклад:

Е.В. Брылякова - Табличное исчисление для классической логики.

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

• Смелых К.А.
• Башмаков С.И.
• Зверева Т.Ю.
• Мукосий А.А.

Доклад:

А.А. Мукосий - Метод фильтрации для логики Иогансона. Часть 2.

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

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