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

Заселение первокурсников, поступивших по программам бакалавриата (бюджет) ИМиФИ возможно с 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 г.).

Доклад:

• А.А. Мукосий - Расширения логик. Виды трансляций. Допустимые правила.
• М.И. Корнилова - Логика POS. Теорема дедукции.

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

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

.

Доклад:

• А.А. Мукосий - Расширения логик. Трансляции CL+/CL.

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

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

.

Доклад:

• С.И. Башмаков - Исчисление CLuN. Связь понятия дедуктивной системы и логики.

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

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

.

Доклад:

• С.И. Башмаков - Позитивный фрагмент классического исчисления CL+.

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

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

.

Доклад:

• С.И. Мукосий А.А. - Дедуктивные системы CL+, CLuN.

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

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

Доклад:

• С.И. Башмаков - Дедуктивные системы: выводимость, замкнутость.

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

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

Доклад:

• С.И. Башмаков - Введение в неклассические логики.

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

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