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

На Международном конгрессе математиков 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.

«Молодая математика России» — это конкурс молодых математиков, проводимый на базе Независимого Московского университета совместно Сколтехом и фондом «Базис» при дополнительном финансировании Д.В. Зиминым, Пьером Делинем, А. Герко, А. Мурашовым, А. Алиевым и др.

Конкурс проводится по двум Программам:

• Программы поддержки аспирантов и молодых ученых без степени: ежемесячные гранты в размере 30 000 рублей сроком до 3х лет;
• Программы поддержки молодых ученых, имеющих ученую степень: ежемесячные гранты в размере 40 000 рублей.

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

Подробности: http://research.sfu-kras.ru/node/14567
По вопросам подготовки заявки можно обращаться к С.И. Башмакову.

Доклад:

• Т.Ю. Зверева - Unification and Finite Model Property for Linear Step-like Temporal Multi-agent Logic with the Universal Modality (доклад по статье).

В рамках семинара оглашены дипломанты семинара 2020-2021 гг. за самое активное участие в его проведении:

• Зверева Татьяна Юрьевна
• Донец Екатерина Александровна

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

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

Доклад:

• Т.Ю. Зверева - Финитная аппроксимация нерефлексивных логик.

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

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