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

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 досок для объявлений: левая часть предполагает размещение объявлений дирекции, правая доступна для студентов и сотрудников.

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

Наконец-то спустя почти 17 лет обновился фирменный стиль нашего института. Благодаря продолжительной совместной работе сотрудников и студентов среди множества идей удалось выбрать одну, на основе которой был создан логотип и разработано руководство по использованию фирменного стиля института. 21 ноября 2024 года Ученым советом ИМиФИ новый фирменный стиль был принят единогласно!

Руководство по использованию фирменного стиля ИМиФИ можно скачать здесь и использовать его при размещении символики института.

2–6 декабря 2024 года Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук (ИДСТУ СО РАН) проводит 40 Международную конференцию Ляпуновские чтения.

Конференция организуется с целью обсуждения актуальных результатов исследований научных сотрудников, аспирантов и студентов по математике, механике, теории управления, информационным и вычислительным технологиям. В целях популяризации науки в рамках конференции проводится секция для юных исследователей. Для обсуждения результатов интеграционных научных проектов в области цифрового мониторинга и прогнозирования экологической обстановки в рамках конференции будет проведена специальная секция «Методы и технологии экологического мониторинга».

ТЕМАТИКА КОНФЕРЕНЦИИ

• Математическая теория управления
• Дифференциальные уравнения и математическая физика
• Математическое моделирование, системный анализ и оптимизация
• Информационно-вычислительные технологии
• Специальная секция Методы и технологии экологического мониторинга
• Специальная секция для школьников

В рамках конференции планируются:

• Доклады участников по направлениям секций
• Пленарные доклады ведущих учёных
• Конкурс теоретических и прикладных работ
• Конкурсы докладов среди молодых учёных, студентов и старшеклассников
• Соревнование по программированию среди студентов и старшеклассников
• Экскурсия в Иркутский суперкомпьютерный центр

Конференция будет проходить в смешанном режиме – очно + видео-конференц-связь. Сборник тезисов докладов, представленных на конференции, будет опубликован в электронном виде и проиндексирован в РИНЦ. Регистрация проходит на сайте конференции до 20 ноября: http://idstu.irk.ru/ru/content/lyapunovskie-chteniya-2024.