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

Доклад:

Поляков А.А. - Унификационные вопросы нетранзитивных логик.

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

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

Доклад:

Поляков А.А. - Кортежная семантика модальных логик. Часть 2.
Смелых К.А. - Машины Минского.

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

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

Доклад:

Брылякова Е.В. - Предупорядоченные множества унификаторов в интуиционистской логике.
Поляков А.А. - Кортежная семантика модальных логик. Часть 1.

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

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

Доклад:

Поляков А.А. - Решётка псевдобулевых алгебр.

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

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

Доклад:

Поляков А.А. - Псевдобулевы алгебры.

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

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

Доклад:

Созутов Анатолий Ильич — Об одном классе простых алгебр Ли.

Дата: 16.11.2023.

Доклады:

Литаврин Андрей Викторович — О биполярной классификации эндоморфизмов группоидов.

Нужин Яков Нифантьевич — О замкнутости ковров аддитивных подгрупп над коммутативными кольцами.

Дата: 21.09.2023.

Доклад:

Гончаров Сергей Савостьянович (ИМ СО РАН, г. Новосибирск) — Название доклада TBA.

Дата и время: 30.06.23, 13:00.

Доклады:

Антошкин Артём Андреевич — Структурные вопросы для квазиполей малых нечетных порядков.

Гвоздев Родион Игоревич — Порождающие множества инволюций линейных групп над кольцом целых гауссовых чисел и над конечными полями.

Извеков Максим Алексеевич — Применение модальной логики в анализе информации и прагматике состояний и событий.

Логинова Валерия Сергеевна — Структурные вопросы для конечных квазиполей Холла.

Соколовская Анна Максимовна — Порождающие множества инволюций линейных групп малых размерностей над конечными полями нечетной характеристики.

Петруть Татьяна Сергеевна — Порождающие множества инволюций линейных групп малых размерностей над конечными полями характеристики 2.

Половинкина Анна Ильинична — Регулярность силовских подгрупп групп Шевалле исключительных лиевых типов над полями и кольцами вычетов.

Скок Дарья Сергеевна — Линейные автотопизмы полуполевых проективных плоскостей малого ранга.

Дата: 22.06.2023.

Открыт приём заявок на участие в XXII Международной конференции им. А.Ф. Терпугова «Информационные технологии и математическое моделирование».

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

Важные даты
• с 1 июля по 1 сентября: регистрация участников и загрузка материалов доклада (РИНЦ)
• до 1 октября: рецензирование работ, решение о публикации
• до 1 ноября: загрузка расширенных статей (Scopus)

Сайт конференции: http://itmmconf.tsu.ru/
Социальные сети: https://vk.com/itmm_conf, https://t.me/itmm23

Уточняющие вопросы можно задать на почту оргкомитета: itmmconf@gmail.com