Заседание №115 (14 ноября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    • Брылякова Е.В. - Техника n-характеристических моделей В.В. Рыбакова для модальной системы S4.
    • Поляков А.А. - Критерий допустимости правил в модальной системе S4 и интуиционистской логике.

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

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

Заседание №114 (7 ноября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    • Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках. Часть 3.
    • Брылякова Е.В. - Проблема допустимости в интуиционистской логике через унификацию.

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

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

Заседание №113 (31 октября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Фисков Я.С. - Трансляции в модальных логиках.

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

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

Заседание №112 (24 октября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках. Часть 2.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Фисков Я.С.

Заседание №111 (17 октября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    • Зверева Т.Ю. - Невозможность конечной аксиоматизации по Л.Л. Максимовой в логиках.
    • Поляков А.А. - Изоморфизм семантик.

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

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

Заседание №110 (5 октября 2024 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    • Башмаков С.И. - Установочный доклад с текущими планами работы.
    • Смелых К.А. - О задачах оценки сложности проблемы вополнимости во временных моделях.

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

  • Смелых К.А.
  • Брылякова Е.В.
  • Поляков А.А.
  • Зверева Т.Ю.
  • Фисков Я.С.

Новый фирменный стиль института

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

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

Приём заявок студентов на Сибирскую математическую олимпиаду

В 2024 году СМО снова проводится на нескольких площадках в России и за рубежом: помимо Красноярска, к организации олимпиады присоединились университеты и научные институты Санкт-Петербурга, Тюмени, Ставрополя, Узбекистана и, конечно, Новосибирска.

На протяжении нескольких последних лет ИМиФИ стабильно становится региональной площадкой для проведения олимпиады ММФ НГУ. В ней участникам всех курсов предстоит посоревноваться как за звание лучшего в индивидуальном зачёте, так и защитить честь своего института в составе команды.

Олимпиада проводится в двух отдельных категориях:

  • среди студентов 2-6 курсов;
  • среди первокурсников — им доказывать превосходство над могучими магистрантами не понадобится.

Командный результат будет складываться из 5-ти лучших личных результатов участников, а в каждой категории вуз может заявить не более 2-х команд (численность каждой команды: до 6-ти человек).

Ссылка для регистрации индивидуальных участников:
https://forms.gle/uuAUcS2xHr6fVeVNA
Ссылка для подачи командных заявок:
https://forms.gle/2rXvUDyCy7fScYR58
Дедлайн регистрации на олимпиаду: 20 ноября (включительно). Для отправки и проверки задач используется система https://nsuhw.ru/. После закрытия регистрации каждому участнику будут отправлены данные для входа в личный кабинет.

Олимпиада пройдёт очно 24 ноября в аудиториях Института математики и фундаментальной информатики – сбор участников с 9:30.

Объявлен приём заявок на конференцию Ляпуновские чтения

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

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

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

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

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

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

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

Приём заявок на олимпиаду «Я — профессионал»

Всероссийская Олимпиада компании Яндекс состоит из двух этапов, первый — отборочный — пройдёт с 15 ноября по 1 декабря 2024 года. Второй запланирован на февраль-март 2025 г., где финалистам предстоит стать участниками образовательных форумов и школ, а затем написать итоговые работы.

Профильные направления для ИМиФИ:
✨ Математика;
✨ Математическое моделирование;
✨ Искусственный интеллект;
✨ Программирование и информационные технологии.

Регистрация участников продлится до 12 ноября: https://yandex.ru/profi?utm_source=ip8_reg_pk.

Победители и призёры получают льготы при поступлении в магистратуру и аспирантуру, доступ к образовательной программе олимпиады и возможность стажировки в крупной компании. Лучшие из лучших получат денежные премии от 100 до 300 тысяч рублей.

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

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