М. В. ШВИДЕВСКИ. О сложности решёток квазимногообразий.
2223-е заседание. 21 февраля 2023 г.
С. Н. ИЛЬИН (Казань).
Классы полуколец, характеризуемые гомологическими свойствами полумодулей над ними (докторская диссертация).
2224-е заседание. 28 февраля 2023 г.
А. В. ВАСИЛЬЕВ, И. Б. ГОРШКОВ, А. М. СТАРОЛЕТОВ, Н. ЯН (Уси, Китай). О распознавании декартовых степеней конечных простых линейных групп по спектру.
2225-е заседание. 14 марта 2023 г.
М. А. ГРЕЧКОСЕЕВА. О распознаваемости по спектру симплектических групп размерности восемь.
2226-е заседание. 5 апреля 2023 г.
Д. Е. ПАЛЬЧУНОВ. Теория обогащённых булевых алгебр и приложения в инженерии знаний.
Чествование Дмитрия Евгеньевича в связи с юбилеем.
2227-е заседание. 23 мая 2023 г.
В. О. МАНТУРОВ (Москва). Группы $G^k_n$.
2228-е заседание. 30 мая 2023 г.
В. О. МАНТУРОВ (Москва). О группах $\Gamma^4_n$.
2229-е заседание. 17 октября 2023 г.
Ф. А. ДУДКИН, А. В. УСИКОВ. Аппроксимируемость трубчатых групп конечными тг-группами.
Сессия расширенных заседаний семинара в рамках конференции "Мальцевские чтения"
(13—17 ноября 2023 г.)
2230-е заседание. 13 ноября 2023 г. Пленарное заседание.
С. Н. Артемов (Нью-Йорк, США). Beyond knowledge of the model.
В. А. Романьков (Омск). On the Post correspondence problem for free groups.
И. А. Иванов-Погодаев (Москва). Construction of a finitely presented infinite nil-semigroup with the use of uniformly elliptic complexes.
Р. А. Корнев. On the theory of computable metric spaces.
2231 заседание. 13 ноября 2023 г. Заседание секции алгебро-логических методов в ИТ.
В. П. Голубятников. On boolean models of gene networks with non-linear degradation.
В. П. Голубятников. On cycles in boolean gene networks models with non-linear degradation.
Р. К. Лебедев. Исследование методов защиты кода программного обеспечения от математических атак.
К. Ю. Болотов, А. А. Осипов. Разработка ВЕБ-приложения для управления регистрационными данными домашних животных.
Э. А. Вартазарян. Реализация графического инструмента трассировки системных вызовов на основе gVisor.
М. Н. Дубинин. Разработка системы управления инфраструктурой общекорпоративных мероприятий в 3-х мерном пространстве на основе технологии контейнеризация серверных приложений.
А. С. Пашкова. Система голосового распознования для мобильного помошника Talky Chef.
А. М. Мацько. Разработка системы динамической инструментации системных вызовов на основе gVisor.
А. О. Зайцев. Методы разработки интеллектуальных помощников, основанные на онтологическом моделировании предметных областей.
П. Е. Смоляков. Выборочное подключение процессов к VPN посредством перехвата системных вызовов в ОС Linux.
С. О. Бородин. Совершенные раскраски гиперграфа подматриц.
И. М. Бучинский. Анализ некоторых схем с тропическими циркулянтными матрицами.
2232 заседание. 13 ноября 2023 г. Заседание секции неклассических логик и универсальной алгебры.
А. С. Герасимов (Санкт-Петербург). Полнота инфинитарного аналитического исчисления для бесконечнозначной логики Лукасевича первого порядка.
А. В. Грефенштейн (Москва), С. О. Сперанский (Москва). О кванторной версии модальной логики Белнапа-Данна.
М. И. Канович (Лондон, Великобритания), С. Л. Кузнецов (Москва), А.О. Щедров (Филадельфия, США). О сложности расширений неассоциативного исчисления Ламбека субэкспоненциальными модальностями.
Т. Г. Пшеницын (Москва). Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действий.
О. А. Охотников (Екатеринбург) О новой концепции нормального вывода в системе натуральной дедукции.
С. И. Башмаков (Красноярск), К. А. Смелых (Красноярск). Реляционная версия многоагентной логики деревьев вычислений $\mathcal{CTLK}$.
С. И. Башмаков (Красноярск), Е. В. Брылякова (Красноярск). К вопросу об определении эквивалентности унификаторов.
2233 заседание. 13 ноября 2023 г. Заседание секции теории групп и её приложений.
А. А. Бутурлакин. Одно обобщение локально конечных групп конченой централизаторной размерности.
М. А. Всемирнов (Санкт-Петербург), Р. И. Гвоздев (Красноярск), Я. Н. Нужин (Красноярск). Минимальное число порождающих инволюций, произведение которых равно 1, конечных простых неабелевых групп.
В. Д. Шепелев. О конечных простых группах, удовлетворяющих сильной $\pi$-теореме Силова.
А. И. Будкин (Барнаул). Группы с ограничениями на 2-порождённые нормальные подгруппы.
А. В. Зенков (Барнаул), О классах Леви квазимногообразия правоупорядочиваемых групп.
С. А. Шахова (Барнаул), О классах Леви квазимногообразий 2-ступенно нильпотентных групп.
А. А. Тараненко. Перманент произведения матриц и трансверсали в итерированных квазигруппах.
С. В. Августинович, И. С. Быков, А. Л. Пережогин. Контуры малой длины в эйлеровых ориентациях полных графов.
Е. В. Константинова, А. В. Кравчук. Собственные значения транспозиционного графа.
2234 заседание. 13 ноября 2023 г. Заседание секции теории колец.
А. Я. Белов (Москва). Specht type problems and Gelfand Conjecture.
А. С. Панасенко, В. Н. Желябин. Novikov Z2-graded algebras with an associative 0-component.
А. С. Захаров. Простые алгебры Новикова—Пуассона.
А. Н. Гришков, M. Рассказова (Сан Пауло, Бразилия). Free Bol loops and corresponding groups.
А. П. Пожидаев. Обобщение конструкции Мицухары для прелиевых алгебр.
Н. А. Шишмаров, С. М. Скрябин (Казань). Симметрии Гекке, ассоциированные с алгеброй многочленов от 3 переменных.
2235 заседание. 14 ноября 2023 г. Пленарное заседание.
А. С. Гордиенко (Москва). Quantum symmetries and lifting of locally repelling objects.
С. О. Кузнецов (Москва). Algorithmic aspects of formal concept analysis.
А. А. Махнев (Екатеринбург). On strongly regular graphs without triangles.
Д. Пирс (Мадрид, Испания). Equilibrium logic and its extensions.
2236 заседание. 14 ноября 2023 г. Заседание секции алгебро-логических методов в ИТ.
А. К. Хорошавин. Использование жадных методов в генетическом алгоритме при составлении туристических рекомендаций.
Е. Д. Малаева. Метод оптимизации алгоритма проверки согласованности оценочных знаний.
Н. А. Дымонт. О согласованности интервальных экспертных оценок.
В. Е. Панова. Разработка алгоритма для определения качества расположения пользователя в видеопотоке.
М. Е. Демчук. Разработка рекомендательной системы подбора линейки косметических средств.
А. И. Шатрова. Алгоритм персонализации йога-тренировок.
Е. В. Казакова. Разработка алгоритма рекомендации вакансий и резюме для формирования стартапов.
А. Т. Тимофеев. Формирование индивидуального меню питания на основе генетического алгоритма.
С. Ж. Тлеубаев. Разработка архитектуры локальной сети групповых велопоездок.
В. И. Саранин. Эмоциональный искусственный интеллект, ведущий диалог.
К. М. Черпаков. Разработка методов осуществления сделок с динамическим дисконтированием на базе технологии блокчейн.
Н. А. Радеев. Статистическое оценивание эвристических методик скрещивания признаков в структурированных данных.
Д. А. Худяков. Применение машинного обучения к задаче выявления отклонений в работе распределенных систем.
А. С. Щербин. Исследование влияния методов дообучения глубоких нейронных сетей на их интерпретируемость.
2237 заседание.14 ноября 2023 г. Заседание секции неклассических логик и универсальной алгебры.
Я. А. Копылов. Леммы о кресте в некоторых предабелевых категориях
А. В. Литаврин (Красноярск). Интегральная классификация эндоморфизмов алгебр с операциями конечной арности.
А. Д. Яшин (Ижевск). "Ложь" как новая константа в позитивной логике.
Н. А. Проценко (Красноярск). Проблема разрешимости для логики $\mathcal{L}^\mathcal{T}_\mathcal{MV}$.
К. В. Грекович (Красноярск). Проблема разрешимости для логики $\mathcal{L}_\mathcal{MС}$.
Д. А. Бредихин (Саратов). О конъюнктивных операциях над отношениями.
2238 заседание. 14 ноября 2023 г. Заседание секции теории вычислимости.
А. Н. Рыбалов (Омск). Генерические полиномиальные алгоритмы для проблемы о рюкзаке в матричных полугруппах.
Б. С. Калмурзаев, С. А. Бадаев (Алма-Ата, Казахстан), Н. А. Баженов, М. Манат (Астана, Казахстан). On diagonal functions for equivalence relations.
Е. И. Хлестова. Разрешимость предельных моделей эренфойхтовых теорий.
А. Н. Фролов (Казань). Линейные порядки, порождающие вычислимые булевы алгебры.
А. И. Стукачев. Вычислимые модели интенсиональной логики.
А. Н. Фролов, М. В. Зубков (Казань). Пунктуальные представления 1-линейных порядков.
Н. Т. Когабаев. Systems of Diophantine equations over finite configurations.
2239 заседание. 14 ноября 2023 г. Заседание секции теории групп и её приложений.
А. В. Усиков. Аппроксимируемость трубчатых групп конечными $\pi$-группами.
К. В. Зимирева. О представлениях группы кактуса.
Е. В. Мархинина. Представления групп виртуальных кос, построенные по вербальным квандлам с одним параметром.
М. В. Нещадим, А. А. Симонов. О дважды транзитивных группах.
В. Э. Лешков. Об инвариантах Ламбека коммутативных квадратов в гомологической категории в смысле М. Градиса.
В. А. Романьков (Омск), А. Л. Евтягин (Омск). О вложениях частично коммутативных нильпотентных групп.
А. Ф. Красников (Омск). О про-$p$-группах с одним определяющим соотношением.
2240 заседание. 14 ноября 2023 г. Заседание секции теории колец.
Е. В. Журавлев (Барнаул). О классах эквивалентности матриц над конечным полем нечетной характеристики.
И. В. Дудин, П. А. Крылов (Томск). О некоторых изоморфизмах для алгебр инцидентности и групповых алгебр.
Н. А. Колегов (Москва). Системы образующих колец инцидентности.
В. Ю. Губарев. Неунитальные разложения алгебры M3(C) в сумму двух подалгебр.
А. Ф. Ходзицкий. Monomial Rota–Baxter operators of weight zero on the algebra of polynomials in two variables.
Н. Д. Ходюня (Красноярск). Неассоциативные обертывающие алгебры нильтреугольных алгебр Шевалле.
А. В. Кислицин (Барнаул). О шпехтовости неассоциативных алгебр, удовлетворяющих тождеству $x(yz)=0$.
К. М. Туленбаев, А. К. Кунанбаев, С. Д. Нуржауов, Б. Сания (Алма-Ата, Казахстан). Полилинейная часть алгебр Клейнфельда.
2241 заседание. 15 ноября 2023 г. Пленарное заседание.
М. Н. Рыбаков (Москва). Recursive inseparability in modal and super-intuitionistic predicate logics.
В. В. Рыбаков (Красноярск). Analysis of temporal and multi-agent logics.
Л. Д. Беклемишев (Москва). Provable 1-provability and the unification problem in modal logic GLP.
В. Б. Шехтман Modal predicate logics.
Л. Л. Максимова, В. Ф. Юн. Pretabularity and interpolation.
2242 заседание. 15 ноября 2023 г. Заседание секции неклассических логик и универсальной алгебры.
Д. М. Анищенко, С. П.Одинцов. Логика Йоханссона с аксиомой Даммета и ее расширения.
Н. Л. Поляков (Москва). Ультрарасширения инфинитарных функций.
А. В. Кравченко, М. В. Швидефски. Об алгоритмических проблемах для квазимногообразий.
М. В. Швидефски. Дуальности для категорий ограниченных решеток.
Е. В. Борисов, И. И. Мухаметшина (Томск). Модальная логика первого порядка с поссибилистскими кванторами и равенством.
Л. К. Вашенцева (Москва), Д. А. Кожемяченко (Москва). Модальность неслучайности для $\mathbf{FDE}$.
2243 заседание. 15 ноября 2023 г. Заседание секции теории вычислимости.
П. Е. Алаев. The inversion in fields computable in polynomial time.
М. В. Коровина, О. В. Кудинов. Index sets for order positive fields.
А. В. Селиверстов (Москва). О длине невыполнимой подформулы.
Н. А. Баженов, А. Г. Мельников (Веллингтон, Новая зеландия), К. М. Нг (Сингапур). On $\Delta^0_2$ Polish spaces.
С. С. Оспичев. Минимальные нумерации семейств функционалов конечного типа.
2244 заседание. 15 ноября 2023 г. Заседание секции теории колец.
А. А. Лопатин (Кампинас, Бразилия), А. Н. Зубков (Омск). Разделяющие инварианты алгебр Мальцева.
А. В. Попов (Ульяновск). Тождества супералгебры Капланского.
А. С. Монастырева (Барнаул). Строение конечных колец с ациклическими сжатыми графами делителей нуля
С. С. Коробков (Екатеринбург). О решеточной определяемости полулокальных колец.
А. В. Кухарев (Красноярск). О коммутативных сильно консервативных алгебрах
2245 заседание. 16 ноября 2023 г. Пленарное заседание.
А. В. Нечесов. Problem oriented approach to artificial intelligence.
С. П. Одинцов. On the algebraic semantics of connexive logics.
М. В. Зайцев (Москва). On existence of Pi-exponent of codimension growth.
А. В. Кислицин (Барнаул). Identities of vector space and nonassociative linear algebras.
2246 заседание. 16 ноября 2023 г. Заседание секции алгебро-логических методов в ИТ.
А. В. Бессонов. Аргумент Гёделя–Лукаса–Пенроуза некорректен.
Д. Е. Пальчунов. Теоретико-модельные методы формализации рассуждений и рефлексии.
Д. Н. Гаврилин, Д. Э. Гаврилина. Интеграция логико-вероятностного искусственного интеллекта в bSystem.
А. А. Якобсон. Организация семантического хранения прецедентов для аргументативной диалоговой системы.
Э. Ю. Ахмедов. Предварительная обработка данных для анализа эмоций в текстах узбекского языка.
Ч. А. Найданов. Теоретико-модельный подход к формализации бизнес-процессов университетской кафедры.
С. А. Балашова. Извлечение эмоциональных оценок из текстов естественного языка.
О. Д. Пальчунова. Разработка алгоритма распознавания речевых ошибок.
С. К. Чеболтасова. Разработка цифрового ассистента для анализа финансовых продуктов.
Т. М. Цивинская. Разработка консольной версии программного обеспечения для формирования и первичного анализа выборок нуклеотидных последовательностей.
А. С. Янин. Методы частичного исполнения для специализации интерпретатора на языке WebAssembly.
В. И. Архипова. Методы извлечения знаний о ситуациях и событиях из текста естественного языка.
А. А. Шишкин. Оценка соответствия вакансии и опыта соискателя с помощью нейронных сетей.
В. С. Миронов. Извлечение эмоций из текстов естественного языка при помощи LogicText.
О. А. Ковалевская. Разработка сервиса для автоматизированной рассылки электронных писем.
О. А. Гуртуева. Разработка методов определения эмоций пользователя на основе анализа текстовых и звуковых данных.
А. Шабалин. Разработка методов анализа пользовательских намерений для реализации виртуального помощника.
2247 заседание. 16 ноября 2023 г. Заседание секции неклассических логик и универсальной алгебры.
Д. Ю. Емельянов. Об алгебрах бинарных изолирующих формул для теорий зиг-заг произведений.
Б. Ш. Кулпешов (Алма-Ата, Казахстан). Об алгебрах бинарных формул для слабо циклически минимальных теорий: кусочно монотонный случай.
Б. Ш. Кулпешов (Алма-Ата, Казахстан), С. В. Судоплатов. О вариациях жесткости для упорядоченных теорий.
Ин. И. Павлюк, С. В. Судоплатов. О степенях алгебраизации для конечных структур.
С. В. Судоплатов. Об условных характеристиках жесткости.
А. А. Степанова (Владивосток), Е. Л. Ефремов (Владивосток), С. Г. Чеканов (Владивосток). Псевдоконечные полигоны.
В. В. Вербовский (Алма-Ата, Казахстан). Об обобщениях слабой о-минимальности на частичные порядки.
Е. Л. Ефремов (Владивосток). Строение связного конгруэнц-перестановочного полигона над коммутативным моноидом.
С. Б. Малышев. О предгеометриях теорий унаров.
И. А. Сахаров (Владивосток). Инъективные унары.
2248 заседание. 16 ноября 2023 г. Заседание секции теории вычислимости.
Ш. Д. Нодиров (Карши, Узбекистан), М. Х. Файзрахманов (Казань, Россия). О бесконечных прямых суммах однозначных нумераций функциональных семейств.
А. Аскарбеккызы (Алма-Ата, Казахстан), Р. Р. Багавиев (Казань), В. Исаков (Новосибирск), Б. Калмурзаев (Алма-Ата, Казахстан), Д. Д. Нурланбек (Алма-Ата, Казахстан), Ф. Ракымжанкызы (Алма-Ата, Казахстан), А. В. Слобожанин. Пунктуальные нумерации для семейств множеств.
А. М. Искаков (Алма-Ата, Казахстан), Н. А. Баженов, Б. С. Калмурзаев (Алма-Ата, Казахстан). Undecidability of the theory of the primitive recursive many-one degrees of recursive sets.
А. В. Слобожанин. Rogers semilattices of Grzegorczyk hierarchy.
М. М. Ямалеев (Казань). Non-uniformity and downwards density in the Turing degrees.
Р. Р. Багавиев (Казань). Структурные свойства 2-в.п. конъюнктивных и дизъюкнтивных степеней.
С. Л. Кузнецов, С. О. Сперанский (Москва). On the complexity of infinitary action logic with multiplexing.
2249 заседание. 16 ноября 2023 г. Заседание секции теории групп и её приложений.
О. В. Кравцова (Красноярск). Диэдральные и кватернионные подгруппы автотопизмов полуполевых проективных плоскостей.
Е. В. Соколов (Иваново). О нильпотентной аппроксимируемости обобщенных свободных произведений групп.
А. В. Рожков (Краснодар). Об одной модификации AT-групп.
М. А. Лисицына (Санкт-Петербург). Совершенные $k$-раскраски бесконечных циркулянтных графов со сплошным набором дистанций.
И. Л. Сохор (Гомель). О группах с модулярными подгруппами Шмидта.
О. Ю. Дашкова (Севастополь). Разрешимые периодические группы конечного нормального ранга.
А. В. Грешнов, В. С. Костыркин. Горизонтальные ломаные и группа Гурса.
В. И. Мурашко (Гомель). О наследственных формациях Бэра-Шеметкова конечных групп.
2250 заседание. 17 ноября 2023 г. Пленарное заседание.
Д. О. Ревин. The Baer--Suzuki width for certain group-theoretical classes.
М. А. Гречкосеева. The spectra of almost simple exceptional groups of Lie type.
С. В. Скресанов. Diameters of finite groups and related graphs.
2251 заседание. 17 ноября 2023 г. Заседание секции теории вычислимости.
Ш. Т. Ишмухаметов, Н. А. Антонов , Б. Г. Мубараков , Р. Г. Рубцова (Казань). Об одном комбинированном тесте простоты (дистанционный доклад).
А. А. Викентьев. О некоторых проблемах теории моделей и распознавания образов.
2252 заседание. 19 декабря 2023 г.
П. Е. Алаев. Алгоритмические операции в коммутативных кольцах.
М. Н. Гаськова. Об 1-разрешимости булевых алгебр с одним выделенным идеалом.
2253-е заседание. 26 декабря 2023 г.
А. В. Васильев. Полиномиальные алгоритмы для вычисления замыканий конечных групп подстановок.
К. Ж. Кудайбергенов (Алма-Ата, Казахстан). Об абсолютной неразличимости.