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

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

Стали известны обладатели стипендии Правительства РФ по приоритетным направлениям на 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 гг. за самое активное участие в его проведении:

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

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

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

Доклад:

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

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

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

Всем студентам ИМиФИ, поступившим в 2021 году необходимо получить банковские карты Сбербанка (Мир) для начисления стипендии и других выплат.

Выдача карт согласно расписания на дне 4-го колодца (пр. Свободный, 79, 4 корпус, холл):

• 07.09.2021г. : с 10:00 до 13:00
• 08.09.2021г. : с 10:00 до 13:00
• 10.09.2021г. : с 14:00 до 17:00

Обязательна личная явка, при себе иметь:
1. Паспорт РФ.
2. Копии ВСЕХ ЗАПОЛНЕННЫХ страниц паспорта (ФИО, информация о дате и месте рождения, дате и месте выдачи паспорта, информация о месте регистрации (прописка), информация о предыдущем паспорте, в случае если паспорт заменялся).