ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ ИМиФИ СФУ

Annual 8th Krasnoyarsk Logical Workshop (14.Jan.26): Dedicated to the 8th UNESCO World Logic Day // 05.01.2026 в 15:25

Время: 
14 января 2026 г. 16:00
Место: 
пр. Свободный, 79, ауд. 34-17

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.

Поздравление директора Ольги Николаевны Черепановой с Новым 2026-м годом // 31.12.2025 в 23:09

Дорогие друзья! С праздником, с Новым 2026 годом!

Магистрант ИМиФИ Елизавета Брылякова — обладательница стипендии СНС СФУ // 20.12.2025 в 15:07

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

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

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

День математика впервые прошёл в ИМиФИ // 20.12.2025 в 15:04

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

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

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

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

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

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

XXIV Международная конференция имени А. Ф. Терпугова «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ» (ИТММ – 2025) // 16.10.2025 в 10:57

20–25 октября 2025 на базе ИМиФИ СФУ пройдёт XXIV Международная конференция имени А. Ф. Терпугова «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ» (ИТММ – 2025)

Основные направления работы

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

23.10.2025 пройдёт Школа молодых ученых

Расписание конференции можно посмотреть на сайте https://itmmconf.ru/timetable2025.

Программа конференции https://itmmconf.tsu.ru/Program_ITMM.pdf

Будем рады Вашему очному участию!

Новогодние подарки детям студентов // 09.09.2025 в 15:02

Вниманию студентов (магистрантов!), имеющих детей в возрасте до 13 лет о возможности получения новогодних подарков.

Онлайн форма, необходимая для заполнения заявки на новогодний подарок, размещена на сайте СФУ в разделе «Объявления». Срок подачи заявок до 13.10.2025 года включительно. https://sfu.ru/ru/media/ads/2a293f1b-afb0-4d62-8acb-0ec60a0f70e5

О сроках и месте выдачи подарков будет сообщено дополнительно.
По возникающим вопросам обращаться в Отдел социальной поддержки по телефону 206-21-51.

Сотрудники и преподаватели ИМиФИ — чемпионы Всероссийского кубка по мини-футболу «Игры Сибири»! // 30.05.2025 в 11:45

Золото математики добыли в подгруппе, объединяющей команды сотрудников, ветеранов и девушек. Финал Кубка прошёл в рамках празднования «Дня спорта СФУ» на стадионе «Перья-3» — в нём нашими соперниками стала команда «Преподаватели», сборная, состоящая из преподавателей физической культуры и сотрудников служб проректора по хозяйственной работе СФУ. В упорной борьбе, проигрывая по ходу матча, математики собрались и всё же вырвали победу (2:1).

Ранее, в четверть- и полуфинале, наша команда переиграла команды Военного учебного центра СФУ (6:1) и Института физической культуры, спорта и туризма (счёт в основное время 1:1, счёт в серии пенальти 2:1 в нашу пользу).

Состав команды:

  • Велисевич Александр Викторович, cтарший преподаватель кафедр МАиДУ и ВиПМ;
  • Башмаков Степан Игоревич, доцент кафедры АиМЛ, заместитель директора по ВР;
  • Магденко Евгений Петрович, доцент кафедры ММиПУ;
  • Вяткин Александр Владимирович, доцент кафедры ВиИТ;
  • Полковников Александр Николаевич, доцент кафедры высшей математики №2;
  • Астротенко Александр Владимирович, ответственный за СМР ИМиФИ, ведущий специалист Координационного центра;
  • Бактыбеков Бек Бактыбекович, лаборант-исследователь КМЦ;
  • Горячева Дарья Вадимовна, студентка группы ИМ22-02Б

Открыт приём заявок XXIV Международной конференции имени А.Ф. Терпугова «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ» (ИТММ’2025) // 26.05.2025 в 14:38

В этом году конференция ИТММ’2025 пройдёт на базе ИМиФИ с 20–25 октября 2025, Красноярск, Россия.

Способ проведения: смешанный формат (очно или дистанционно с использованием технологий проведения онлайн-конференций).

Организаторы:

  • Национальный исследовательский Томский государственный университет, Россия
  • Сибирский Федеральный университет, Россия
  • Российский университет дружбы народов, Россия
  • Институт проблем управления им. В. А. Трапезникова РАН, Россия
  • Нижегородский государственный университет им. Н. И. Лобачевского, Россия
  • Институт систем энергетики им. Л.А. Мелентьева СО РАН, Россия
  • Каршинский государственный университет, Узбекистан
  • Бакинский инженерный университет, Азербайджан

Направления работы:

  • Математическое и компьютерное моделирование
  • Математическая теория телетрафика и теория массового обслуживания
  • Прикладной вероятностный и статистический анализ
  • Вероятностные и статистические методы принятия решений
  • Информационные технологии и программная инженерия
  • Телекоммуникационные и вычислительные системы
  • Методы, технологии и системы искусственного интеллекта
  • Многоагентные системы и другие приложения неклассических логик и алгебраических структур

В рамках конференции будет проходить конкурс научных работ студентов и молодых ученых. Лучшие доклады будут награждены дипломами.

Рабочие языки: русский, английский.
Сайт конференции: http://itmmconf.ru/ (на русском языке – http://itmmconf.tsu.ru/)
Наши соцсети: https://t.me/itmmconf https://vk.com/itmm_conf

Труды конференции
После работы конференции планируется издание сборника трудов конференции (объем одной публикации – до 6 страниц, на русском или английском языке). Статьи сборника будут включены в российскую базу цитирования (РИНЦ). Для подготовки статьи используйте шаблон, размещенный на сайте конференции https://uconfy.com/conf/23/

Материалы должны содержать оригинальные результаты, не опубликованные в других изданиях (оригинальность статей при проверке на антиплагиат – не менее 75 %). Программный комитет оставляет за собой право отклонять доклады, не соответствующие тематике конференции и указанным требованиям.

По результатам рецензирования избранные доклады будут рекомендованы для публикации в сборник «Queueing Theory and Applications» в рамках серии Communications in Computer and Information Science (CCIS), Springer Verlag, которая входит в базы цитирования Scopus и Web of Science (доклады по теории массового обслуживания, теории телетрафика и их приложений, 15 страниц на английском языке).

О принятии материалов к публикации будет сообщено по указанному при регистрации адресу электронной почты и на сайте https://uconfy.com/conf/23/

Важные даты:

  • до 15 июня 2025 г. – регистрация и загрузка материалов статьи для публикации в сборнике трудов конференции на сайте https://uconfy.com/conf/23/
  • до 30 июня 2025 г. – рецензирование работ, решение о принятии публикации.
  • до 10 июля 2025 г. – загрузка финальных файлов.
  • до 1 сентября 2025 г. – дополнительная регистрация участников конференции (без публикации).
  • 20 — 25 октября 2025 г. – дни Конференции.
  • до 1 ноября 2025 г. загрузка расширенных статей.

По всем организационным вопросам рекомендуем обращаться в Дарье Владиславовне Семеновой.

Выездная секция конференции СУИТИММ-2025 в Красноярске // 25.04.2025 в 17:11

Приглашаем принять участие в заседании выездной секции «Прикладная математика и информатика в гуманитарных и социально-экономических науках» в рамках VII Всероссийской с международным участием научно-практической конференции студентов, аспирантов и работников образования и промышленности «СИСТЕМЫ УПРАВЛЕНИЯ, ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ – 2025».

Участие в конференции, публикация сборника материалов конференции (статей участников), размещение материалов в eLIBRARY, их индексация в РИНЦ бесплатны. Рабочие языки конференции – русский и английский.


Важные даты:

  • до 30 апреля 2025 г. включительно – прием статей и заявок на участие в конференции, рецензирование статей;
  • до 10 мая 2025 г. – участникам рассылаются решения о принятии материалов докладов к публикации в трудах конференции и её программа;
  • 13-15 мая 2025 г. – проведение конференции.

Требования к оформлению статей, шаблон их оформления, условия участия в конференции, подробности её проведения представлены на сайте https://conferences.omgtu.ru/conference/CSITMM25?pos=0.

Конференция «Проспект Свободный - 2025» в ИМиФИ // 22.04.2025 в 10:20

Уже на этой неделе состоятся заседания секций института математики и фундаментальной информатики XXI Международной научной конференции студентов, аспирантов и молодых ученых «Проспект Свободный - 2025».

Во вторник, 22 апреля в 17.40 в ауд. 34-10 начнется заседание секции «Математические методы анализа данных» секции «Прикладная математика и информатика», которое продолжится в четверг, 24 апреля с 14:00.

В среду, 23 апреля в 14:00 в ауд. 34-07 запланировано заседание англоязычной секции Mathematics and Computer Science (in English), проводимой совместно с институтом филологии и языковой коммуникации СФУ.

В четверг, 24 апреля с 14:00 стартует основная часть конференции. Будет работать две секции, разделенные на подсекции:

  • «Фундаментальная математика»
    • Подсекция «Алгебра, математическая логика и дискретная математика»
    • Подсекция «Математический анализ, теория функций и дифференциальные уравнения»
  • «Прикладная математика и информатика»
    • Подсекция «Математические методы анализа данных»
    • Подсекция «Математическое моделирование и вычислительная математика»

Программа конференции - в файлах ниже.

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

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram