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

Региональный научно-образовательный математический центр «Красноярский математический центр» Сибирского федерального университета приглашает учителей Красноярского края на бесплатные курсы повышения квалификации «Комбинаторика и теория вероятностей в школьном курсе математики» и «Язык программирования Python в школьном курсе информатики и при подготовке к ЕГЭ».

Доклад:

• Т.Ю. Зверева - Синтез методов построения р-морфных фреймов и частичной фильтрации для доказательства финитной аппроксимируемости.

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

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

Доклад:

• С.И. Башмаков - Введение в реаляционную семантику Крипке для нормальных модальных логик.

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

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

На Международном конгрессе математиков 2022 года в Санкт-Петербурге (ICM'2022), впервые вручат медаль имени выдающующейся ученой в области математической физики О.А. Ладыженской. Награду будут присуждать раз в 4 года выдающимся математикам и физикам за прорывные результаты работы. Победитель также получит финансовое вознаграждение в размере 1 000 000 рублей. В случае если работа выполнена коллективом ученых, комиссия рассмотрит возможность вручения общей награды.

Медаль учредил Национальный комитет математиков России совместно с СПбГУ и оргкомитетом Конгресса. Подать заявку на получение премии можно до 1 декабря 2021 года.

Подробнее о Медали: https://minobrnauki.gov.ru/press-center/news/?ELEMENT_ID=41833

Подробнее с программой ICM'2022 можно ознакомиться на сайте: https://icm2022.org

Компании "РУСАЛ" требуются специалисты в области информационных технологий. Подробности и контактная информация в прикрепленном файле.

Стали известны обладатели стипендии Правительства РФ по приоритетным направлениям на 2021–2022 год. Впервые за несколько лет среди победителей оказался представитель нашего института - аспирант и преподаватель кафедры АиМЛ Владимир Маркович Леонтьев.

Поздравляем лауреата!

Доклад:

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

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

• Башмаков С.И.
• Зверева Т.Ю.
• Михайлов М.А.
• Мукосий А.А.
• Проценко Н.А.
• Смелых К.А.
• Эберле В.С.
• Чувашов С.Ю.

Доклад:

• С.И. Башмаков - Реляционная семантика в неклассических логиках.

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

• Зверева Т.Ю.
• Донец Е.А.
• Михайлов М.А.
• Смелых К.А.

Доклад:

• Т.Ю. Зверева - Конечная аксиоматизируемость транзитивных предтабличных логик конечной глубины (доклад по статье Shan Du).

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

• Башмаков С.И.
• Донец Е.А.
• Смелых К.А.

С 1 по 5 декабря 2021 г. в Томске на базе НИ ТГУ состоится XX-я Международная конференция имени А.Ф. Терпугова «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ»
(ИТММ – 2021). Конференция пройдет в очно-дистанционном формате.

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

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

Данный перечень не ограничивает возможности обсуждения других направлений исследований.
Рабочие языки: русский, английский.

подробности на сайте конференции: http://itmmconf.ru/ (на русском языке – http://itmmconf.tsu.ru/) и в прикрепленном Информационном письме. После работы конференции планируется издание сборника трудов конференции (РИНЦ).

Приём заявок и докладов до 15.10.2021.