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

Доклад:

К.А. Смелых - Семантика бесконечных автоматов для временных логик.

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

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

Доклад:

Е.В. Брылякова - Семантические свойства логики Int.

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

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

Доклад:

Т.Ю. Зверева - Семантика ступенчатой временной многоагентной логики.

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

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

Доклад:

М.И. Корнилова - Интуиционистская логика.

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

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

Доклад:

М.И. Корнилова - Семантика и свойства логики POS.

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

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

В Красноярском крае определены лауреаты государственные премии в области профессионального образования. В 2022 году среди аспирантов обладателем премии стал преподаватель кафедры алгебры и математической логики Владимир Маркович Леонтьев. Поздравляем лауреата!

Премия присуждается лицам, добившимся высоких результатов в педагогической деятельности и научных разработках, направленных на социально-экономическое развитие Красноярского края.

в рамках программы «Приоритет 2030» объявлен набор на программы дополнительной профессиональной переподготовки для студентов 2-4 курсов бакалавриата и 1-2 курсов магистратуры.

Программы для обучающихся по направлениям подготовки и специальностям ИТ-сферы, к которым относятся все направления, реализуемые в ИМиФИ:

• Информационные технологии: развертывание и администрирование современных телекоммуникационных систем;
• Администрирование средств безопасности операционных систем семейства Linux.

Подробнее о проекте можно узнать по ссылке http://digit.sfu-kras.ru.
Запись на программы осуществляется на сайте ИНО СФУ по ссылке: https://ino.sfu-kras.ru/project/1308.

Заселение первокурсников, поступивших по программам бакалавриата (бюджет) ИМиФИ возможно с 25 августа 2022 г. согласно приложенным спискам.
Общежитие №3:- пр. Свободный, 83
Общежитие №26:- пр. Свободный, 76и

График работы сотрудников в общежитии на период заселения:

• 27,28,30,31 августа - с 08:30 до 18:00
• воскресенье 28 августа - выходной день

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

С 25 по 29 октября в Узбекистане (г. Карши) состоится очередная конференция «Информационные технологии и математическое моделирование».

К очному или дистанционному участию приглашаются все желающие по следующим направлениям работы конференции:

• Математическое моделирование и анализ показателей эффективности сетей 5-го и последующих
  поколений.
• Теоретические и технологические основы искусственного интеллекта, интеллектуального
  анализа и визуализации больших данных, машинного обучения и систем семантического
  моделирования.
• Прикладной вероятностный анализ.
• Математическая теория телетрафика и теория массового обслуживания.
• Информационные технологии и их применение (в технике, естествознании, экономике,
  образовании, гуманитарных науках и других областях).
• Математическое и компьютерное моделирование технологических процессов.
• Геоинформационные системы и технологии.
• Программная инженерия.

В рамках конференции проводится международный симпозиум «СОВРЕМЕННЫЕ СТОХАСТИЧЕСКИЕ МОДЕЛИ И ПРОБЛЕМЫ АКТУАРНОЙ МАТЕМАТИКИ». По итогам конференции и симпозиума планируется издание сборника трудов (включен в РИНЦ).

Дедлайн регистрации доклада на сайте конференции: 15 сентября 2022 г.
Вся подробная информация на сайте конференции: http://itmmconf.tsu.ru/node

В ИМиФИ по оргвопросам участия обращаться к Д.В. Семеновой или С.И. Башмакову.

Математический центр на базе образовательного центра Сириус приглашает принять участие в конкурсном отборе по программам

• «Квазилинейные уравнения, обратные задачи и их приложения» (Дата окончания приема заявок: 31 июля 2022 г.).
• «Вычислительная математика и приложения»(Дата окончания приема заявок: 3 июля 2022 г.).