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

Доклад:

Смелых К.А. - Элементы мультиагентной логики в обучении с подкреплением.

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

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

Доклад:

Поляков А.В. - Метод n-характеристичекой модели для суперинтуиционистской логики L2.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Фисков Я.С.
• Мукосий А.А.

Доклад:

Брылякова Е.В. - Решётки топобулевых алгебр.

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

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

Доклад:

Поляков А.В. - Обобщение кортежной семантики для рефлексивных и транзитивных линейных модальных логик.

Смелых К.А. - Разрешимость логики CTLK.

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

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

Доклад:

Башмаков С.И. - Алгебраические модели доказательств.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Мукосий А.А.

Доклад:

Смелых К.А. - Алгоритм проверки выполнимости формулы в CTLK.

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

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

Доклад:

Брылякова Е.В. - Построение полного базиса унификаторов.

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

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

Доклад:

Поляков А.В. - Полнота Alt1 в рамках кортежной семантики.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Фисков Я.С.
• Мукосий Н.Н.

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

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

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

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

В этом году конференция ИТММ’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 г. загрузка расширенных статей.

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