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

Доклад:

РЫБАКОВ Владимир Владимирович — Нетранзитивные Временные Мультиагентные Логики.

Доклады:

СОЗУТОВ Анатолий Ильич — О теореме Бэра-Сузуки для групп с условиями конечности.

БАШМАКОВ Степан Игоревич — Временные многоагентные логики и проблема унификации (по материалам кандидатской диссертации).

Доклад:

ТИМОФЕЕНКО Иван Алексеевич — Порождающие мультиплеты инволюций линейных групп над кольцом целых чисел (кандидатская диссертация).

Доклады:

ОСТЫЛОВСКИЙ Анатолий Николаевич — О гомоморфизмах одной алгебраической системы.

ГАВРИКОВ Владимир Леонидович — Некоторые свойства ''диагональных'' биномиальных коэффициентов.

Доклад:

СТЕПАНОВ Алексей Владимирович (СПбГУ, Санкт-Петербург) — Структурная теория групп Шевалле над кольцами.

Доклады:

БЕРЕЗИНА Полина Сергеевна — Правила вывода с метапеременными и логические уравнения в табличных и предтабличных модальных логиках.

МАРКОВСКАЯ Ирина Александровна — Аксиоматизация некоторых табличных расширений логики Гёделя-Лёба.

ШУМКИНА Галина Михайловна — Алгоритмический критерий допустимости правил вывода в модальной логике K4.3.

ДУРАКОВ Борис Евгеньевич — О некоторых группах 2-ранга 1.

ПЕТРОЧЕНКО Максим Евгеньевич — Нечёткие подгруппы конечных групп.

СОТНИКОВА Елена Андреевна — Не финитарные нильпотентные алгебры Ли и присоединённые группы.

КАЗАКОВА Алёна Владимировна — Обёртывающие алгебры нильтреугольных подалгебр алгебр Шевалле.

КУКЛИНА Светлана Константиновна — О неприводимых коврах типа G_2.

ЛИХАЧЁВА Алена Олеговна — Неприводимые ковры аддитивных подгрупп типа F_4.

ХОДЮНЯ Николай Дмитриевич — Неассоциативные обертывающие алгебры нильтреугольных алгебр Ли и вопросы перечисления их идеалов.

МООР Михаил Александрович — Базис допустимых правил вывода для табличных логик.

ЖОРАНОВА Маргарита Владимировна — О структурной полноте некоторых табличных и предтабличных модельных логик.

Доклады:

ЛОУТОН Уэйн (LAWTON Wayne) (университет Махидол, Таиланд) — Multiresolution Analysis on Quasilattices.

ЛОУТОН Уэйн (LAWTON Wayne) (университет Махидол, Таиланд) — Refinable Functions with PV Dilations.

Доклад:

ЛОУТОН Уэйн (LAWTON Wayne) (университет Махидол,Таиланд) — Multivariate Prediction and Spectral Factorization.

Доклады:

СОЗУТОВ Анатолий Ильич, КРАВЦОВА Ольга Вадимовна — О KT-полях и точно трижды транзитивных группах.

НУЖИН Яков Нифантьевич — О порождающих тройках инволюций групп лиева типа над конечными полями.

Доклады:

ШЛЁПКИН Алексей Анатольевич — Об одном достаточном условии непростоты бесконечной группы.

БАШМАКОВ Степан Игоревич — Унификационные проблемы в линейных модальных логиках.