Ю. Л. ЕРШОВ. Идеалы в порядках специализации топологических пространств.
Н. С. РОМАНОВСКИЙ. Обобщённо жёсткие группы.
А. С. КОНДРАТЬЕВ (Екатеринбург). Усиленная версия гипотезы Симса о конечных примитивных группах подстановок.
2031-е заседание. 31 января 2018 г.
Д. В. ЛЫТКИНА, В. Д. МАЗУРОВ. Характеризация простых линейных групп в классе периодических групп.
Чествование Виктора Даниловича в связи с его 75-летием
2032-е заседание. 13 февраля 2018 г.
Н. А. Баженов, М. Харрисон-Трейнор (Уотерлу, Канада). О построении разрешимых графов по разрешимым структурам.
2033-е заседание. 20 февраля 2018 г.
А. Л. ПОПОВИЧ (Екатеринбург). Представление решёток решётками конгруэнций полугрупп.
М. П. ШУШПАНОВ (Екатеринбург). Свободно 3-порождённые решётки с элементами модулярного и дистрибутивного типов среди порождающих.
2034-е заседание. 13 марта 2018 г
Ф. А. ДУДКИН. Централизаторная размерность обобщённых групп Баумслага-Солитера.
2035-е заседание, 3 апреля 2018 г.
Л. Л. МАКСИМОВА, В. Ф. ЮН. Проблема интерполяции в конечнослойных предгейтинговых логиках.
2036-е заседание, 10 апреля 2018 г.
Н. А. БАЖЕНОВ, Д. РОССЕГЕРЕР (Венский технический университет, Австрия), Л. САН МАУРО (Венский технический университет, Австрия), Е. Б. ФОКИНА (Венский технический университет, Австрия). О бивложимой категоричности для вычислимых структур.
Е. И. ТИМОШЕНКО. Централизаторные размерности и универсальные теории групп.
2037-е заседание, 17 апреля 2018 г.
А. И. БУДКИН (Барнаул). Об $\omega$-независимых базисах квазимногообразий групп без кручения.
М. Х. ФАЙЗРАХМАНОВ (Казань). О теореме Хуторецкого для обобщенно вычислимых семейств.
2038-е заседание, 24 апреля 2018 г.
И. Б. ГОРШКОВ (Сан-Пауло, Бразилия), А. М. СТАРОЛЕТОВ. О конечных группах с графом простых чисел как у знакопеременной или симметрической группы.
2039-е заседание, 7 августа 2018 г.
О. В. БОГОПОЛЬСКИЙ. Уравнения в ацилиндрических гиперболических группах и вербальная замкнутость.
2040-е заседание, 11 сентября 2018 г.
Н. В. МАСЛОВА (Екатеринбург). Арифметические свойства и нормальное строение конечных групп (докторская диссертация).
С. В. СКРЕСАНОВ. Подгруппы наименьшего индекса за полиномиальное время.
2041-е заседание, 25 сентября 2018 г.
Е. П. ВДОВИН, Д. О. РЕВИН, Вэньбинь ГО (Хэфэй, Китай). Конечные группы с сопряженными максимальными X-подгруппами.
2042-е заседание, 2 октября 2018 г.
А. А. ГАЛЬТ, А. КУЛШРЕСТХА (Мохали, Индия), А. СИНГХ (Пуне, Индия), Е. П. ВДОВИН. О гипотезе Шалева для линейных и унитарных групп.
И. Б. КАЙГОРОДОВ, А. П. ПОЖИДАЕВ, Ю. С. ПОПОВ. Универсальная консервативная супералгебра.
2043-е заседание, 9 октября 2018 г.
А. П. ПОЖИДАЕВ. О процессе Кэли-Диксона для диалгебр.
2044-е заседание, 16 октября 2018 г.
В. Г. ПУЗАРЕНКО, М. Х. ФАЙЗРАХМАНОВ (Казань). Об однозначных нумерациях в гиперарифметике.
К. В. СТОРОЖУК. Теоремы об асимптотическом ранге.
2045-е заседание, 23 октября 2018 г.
А. В. ЖУКОВ. О сводимостях размеченных частично упорядоченных множеств и лесов.
2046-е заседание, 30 октября 2018 г.
А. С. МОРОЗОВ. О $\Sigma$—предпорядках над вещественными числами.
Сессия расширенных заседаний семинара в рамках конференции "Мальцевские чтения",
(19-22 ноября 2018 г.)
2047-е заседание. 19 ноября 2018 г. (пленарное заседание)
Е. П. Вдовин. О гипотезе Шалева для линейных и унитарных групп.
С. В. Востоков (Санкт-Петербург), О. В. Демченко (Санкт-Петербург). Об одном применении формальных групп в теории чисел.
С. А. Бадаев (Алма-Ата, Казахстан). Позитивные эквивалентности и предпорядки.
Р. Миллер (Нью Йорк, США). Измеримость и категоричность для классов счётных структур.
2048-е заседание. 19 ноября 2018 г. (секция Алгебро-логические методы в информационных технологиях)
В. П. Голубятников, В. В. Иванов, Л. С. Минушкина. On discretization of models of circular gene networks.
В. Б. Бериков, Р.М. Козинец. On Similarity Based Decision Trees.
2049-е заседание. 19 ноября 2018 г. (секция Неклассические логики)
С. Л. Кузнецов (Москва). О полноте фрагмента исчисления Ламбека с операциями итерации и пересечения относительно реляционных моделей.
М. Канович (Лондон), С. Л. Кузнецов (Москва), А. Щедров (Филадельфия). Исчисление Ламбека, обогащенное правилом мультиплексирования.
А. С. Герасимов (Санкт-Петербург). Бесповторное гиперсеквенциальное исчисление для рациональной логики Павелки первого порядка с расширенным понятием аксиомы.
Г. Вансинг (Бохум), Х. Омори (Бохум). О контра-классических вариантах логики Нельсона $N4$ и ее классического расширения.
Д. Скурт (Бохум). Логические связки для некоторых модальных логики на основе $FDE$.
С. О. Сперанский (Санкт-Петербург). Истинностые константы vs. значения истинности в модальных логиках Белнапа-Дана.
С. И. Башмаков (Красноярск). Вопросы унификации в предтабличных расширениях $S4$.
2050-е заседание. 19 ноября 2018 г. (секция Теория вычислимости)
С. С. Оспичев. Фридберговы нумерации семейства всех частично вычислимых функционалов из класса $\mathcal{C}^*_{20}$.
М. С. Еряшкин (Казань). Внутренняя вычислимость отношений плотности и предельности на 1-вычислимых линейных порядках.
М. В. Зубков (Казань). О низких линейных порядках, не имеющих вычислимых копий.
Б. С. Калмурзаев (Алма-Ата, Казахстан), Н. А. Баженов. Полурешетки Роджерса семейств отношений эквивалентности.
Н. Н. Корнеева (Казань). Задачи префиксной и Бюхи-разрешимости сверхслов для некоторых классов языков.
2051-е заседание. 19 ноября 2018 г. (секция Конечные группы и конечные геометрии)
А. А. Махнев (Екатеринбург). Несуществование некоторых дистанционно регулярных графов.
Г. К. Рябов. Бесконечное семейство нешуровых отделимых ассоциативных схем.
Д. В. Чуриков, А. В. Васильев. Проблема изоморфизма когерентных конфигураций, связанных с 3/2-транзитивными группами подстановок.
М. А. Звездина. О графах простых чисел и графах разрешимых подгрупп конечных простых групп.
Д. О. Ревин, Е. П. Вдовин, В. Го (Хэфей, Китай). Группы с сопряженными максимальными $\mathfrak{X}$-подгруппами.
А. С. Васильев. О нормализаторах силовских подгрупп в классических группах.
К. Ю. Коротицкий, Д. О. Ревин. Максимальные разрешимые подгруппы нечетного индекса в симметрических группах.
А. В. Васильев, Е. К. Брусянская (Москва), А. А. Клячко (Москва). Что общего между теоремами Фробениуса, Соломона и Ивасаки о делимости в группах?
С. В. Скресанов. Теорема Виланда-Хартли для субнормальных подгрупп.
А. А. Шлепкин (Красноярск). О связи периодических групп с группами Шункова.
В. В. Кораблёва (Челябинск), А. С. Кондратьев (Екатеринбург), В. И. Трофимов (Екатеринбург). Усиленная версия гипотезы Симса для конечных групп с простым цоколем исключительного лиева типа.
2052-е заседание. 19 ноября 2018 г. (секция Бесконечные группы)
Е. И. Тимошенко, Об однородных кольцах и алгебрах.
Р. Ж. Алеев (Челябинск), О. В. Митина (Челябинск), Т. А. Ханенко (Челябинск). О локальных единицах целочисленного группового кольца циклической группы порядка 64.
Р. Ж. Алеев (Челябинск), А. Н. Воробьёв (Челябинск), Е. А. Кетова (Челябинск), Е. О. Шумакова (Челябинск). Единицы целочисленных групповых колец циклических 3-групп.
А. Д. Годова (Челябинск). Ранг группы центральных единиц целочисленного группового кольца группы $GL(2,8)$.
А. К. Шлёпкин (Красноярск). Группы, насыщенные конечными группами диэдра с силовской 2-подгруппой порядка 2.
А. А. Шлёпкин (Красноярск). Периодические группы, насыщенные конечными простыми группами лиева типа ранга 1 и группами $L_3(2^n)$.
А. В. Зенков (Барнаул). О накрытиях в решётке многообразий $m$-групп.
А. Ф. Красников (Омск). Обобщение вложения Магнуса.
Е. В. Грачёв, А. Г. Попова. Стабилизирующие автоморфизмы целочисленных групповых колец.
В. Э. Лешков (Омск). Расширенный спектр Райдемайстера.
2053-е заседание. 19 ноября 2018 г. (секция Теория колец)
М. В. Зайцев (Москва), A. Giambruno (Палермо, Италия), С. Мищенко (Ульяновск). Codimension growth of central polynomials.
Е. В. Журавлев (Барнаул), А. С. Монастырева (Барнаул). О графах делителей нуля коммутативных конечных колец.
А. В. Кислицин (Барнаул). О почти энгелевых $L$-многообразиях векторных пространств.
Е. П. Петров (Барнаул). О степени стандартного тождества в конечнопорожденной нильпотентной алгебре $R$ с условием $\dim R^{N}/R^{N+1} = 2$.
Е. Н. Порошенко. Универсальная эквивалентность частично коммутативных алгебр Ли некоторого класса.
В. В. Немиро (Москва). Эндоморфизмы полугруппы неотрицательных матриц над линейно упорядоченными кольцами.
С. С. Коробков (Екатеринбург). Проектирования конечных локальных колец.
А. Г. Гейн (Екатеринбург). Об ассоциативных алгебрах с дистрибутивной решеткой подалгебр.
П. С. Колесников, Р. А. Козлов. О когомологиях Хохшильда ассоциативных конформных алгебр.
2054-е заседание. 19 ноября 2018 г. (секция Теория моделей и универсальная алгебра)
А. Г. Пинус. О компактности топологизации пополнения ретрактивно разложимой (с базой типа $\omega$) алгебры.
А. Г. Пинус. Об изолированных точках пространств функциональных клонов.
А. И. Будкин (Барнаул). Оператор $L_n$ на квазимногообразиях универсальных алгебр.
С. В. Гусев (Екатеринбург), Х. П. Санкаппанавар (Нью-Пальтц, США), Б. М. Верников (Екатеринбург). Решетка многообразий импликативных полугрупп.
Б. М. Верников, Д. В. Скоков, В. Ю. Шапрынский (Екатеринбург). Сократимые элементы решеток многообразий полугрупп и эпигрупп.
С. В. Гусев (Екатеринбург). Два маленьких многообразия моноидов с большим объединением.
К. Э. Рабой (Екатеринбург). О 3-порождённых решётках со стандартными и дистрибутивными элементами среди порождающих.
А. О. Башеева (Астана, Казахстан). О сложности строения решеток квазимногообразий коммутативных колец.
А. Д. Яшунский (Москва). О множествах предельных точек в алгебрах бернуллиевских распределений.
А. А. Викентьев. О богатых формулах в многозначных системах и новые кластеризации многозначных высказываний в логических исчислениях с использованием различных множеств моделей.
А. А. Викентьев. Кластеризация многозначных логических высказываний с учетом новых расстояний по новому классу моделей и мер нетривиальностей.
А. А. Викентьев. О кластеризациях формул и структуризации логических баз знаний, индексах качества и коллективных алгоритмах с помощью теории нового класса моделей и мер нетривиальности.
М. В. Швидефски. О почти $ff$-универсальных квазимногообразиях.
2055-е заседание. 20 ноября 2018 г. (пленарное заседание)
Я. Н. Нужин (Красноярск). Порождающие множества элементов групп лиева типа и их приложения.
А. А. Клячко (Москва). Коммутаторы в свободных и не совсем свободных группах.
Н. Ю. Макаренко. Ассоциативные алгебры и алгебры Ли с почти регулярной конечной группой автоморфизмов.
А. С. Мамонтов. О характеризации периодических групп их множеством порядков элементов.
В. Н. Ремесленников (Омск). Главные универсальные классы.
2056-е заседание. 20 ноября 2018 г.
Заседание, посвященное памяти М. И. Каргаполова (1928–1976)
2057-е заседание. 21 ноября 2018 г. (пленарное заседание)
В. В. Рыбаков (Красноярск). Неклассические мультиагентные логики с мультинормированиями.
С. П. Одинцов. Логика Гейтинга-Оккамы и гиперпреднамеренность.
Б. С. Байжанов (Алма-Ата, Казахстан). Счётные модели малых теорий с $\empty$-определимым линейным порядком.
А. С. Морозов. BSS-машины, работающие в бесконечном времени: вычислимость для анализа.
2058-е заседание. 21 ноября 2018 г. (секция Алгебро-логические методы в информационных технологиях)
С. Ф. Винокуров, А. С. Францева (Иркутск). Сложность булевых функций в классах полиномиальных нормальных форм.
Д. Е. Пальчунов. Аксиоматизация классов прецедентов предметных областей.
Р. Ж. Алеев (Челябинск), В. Н. Алеева (Челябинск), Е. С. Богатырёва (Челябинск). Логический анализ численных алгоритмов на основе концепции $Q$-детерминанта и его применение для исследования ресурса параллелизма численных алгоритмов.
Ч. А. Найданов. Теоретико-модельный подход к автоматизации деятельности университетской кафедры.
П. В. Мызнико. Разработка прецедентно-ориентированной системы генерации $html$ кода на основе растрового изображения.
Е. О. Ненашева. Формализованное представление знаний на языке двухместных предикатов.
А. И. Капустина. Разработка онтологических моделей предметных областей.
А. А. Финк. Разработка автоматизированных методов порождения служебных документов на естественном языке.
В. В. Шамова. Методы определения сочетаемости слов естественного языка, основанные на прагматике.
А. Ю. Волкова. Онтологические методы разработки пользовательских интерфейсов.
Н. С. Хенкина. Исследование влияния форм быстрой коммуникации на поведение посетителей веб-сайтов.
Е. Д. Махина. Разработка автоматизированных методов идентификации речевых действий.
2059-е заседание. 21 ноября 2018 г. (секция Неклассические логики)
Л. Л. Максимова, В. Ф. Юн. Интерполяционное свойство в расширениях $Od$.
А. Г. Макаров (Москва), А.Д. Яшин (Ижевск). Иррефлексивная модальность на цепи типа $\omega$ и полнота по П. С. Новикову.
Р. Е. Агамов (Москва). Модальная логика с модальностью неравенства топологических $T_0$-пространств.
Е. М. Фофанова (Москва). Алгоритмическая разрешимость фрагмента исчисления Ламбека с экспоненциальной модальностью.
И. А. Марковская (Красноярск). Характеризация некоторых табличных логик из $Ext(GL)$.
С. А. Дробышевич. Универсальный подход к (позитивным) модальным логикам на основе $FDE$.
С. П. Одинцов. Об алгебраической семантики Фишер Серви версии логики $BK$.
2060-е заседание. 21 ноября 2018 г. (секция Теория вычислимости)
И. И. Власов (Казань). О максимальных $\Sigma$-подмножествах допустимых множеств.
Ф. Н. Пахомов (Москва). О консервативности схемы ограниченности.
А. Ю. Никитин (Омск). О сложности проблемы разрешимости систем уравнений над частичными порядками.
И. Ш. Калимуллин (Казань). Примитивно рекурсивная категоричность на конусе.
А. Н. Хисамиев. Универсальные функции и $K\Sigma$-структуры.
М. М. Ямалеев (Казань). On model-theoretic properties of $m$-degrees.
2061-е заседание. 21 ноября 2018 г. (секция Конечные группы и конечные геометрии)
А. Х. Журтов (Нальчик). Об обобщенных группах Фробениуса.
Н. А. Минигулов (Екатеринбург), А. С. Кондратьев (Екатеринбург). О конечных неразрешимых группах, графы Грюнберга-Кегеля которых как абстрактные графы изоморфны графу Грюнберга-Кегеля группы $A_{10}$.
А. П. Храмова. О существовании разрешимых холловых подгрупп.
М. М. Сорокина (Брянск). О $\frak F_{\Omega}$-подгруппах конечных групп.
В. С. Ганжа (Красноярск). Неравенства для числа классов сопряженных элементов конечной группы и ее силовских подгрупп.
А. А. Валюженич. Нижняя оценка мощности 1-совершенного битрейда в графе Хэмминга.
В. Р. Данилко. Восстановление системы попарно ортогональных латинских квадратов по частичной информации.
И. Ю. Могильных, С. В. Августинович. Равномерные 2-разбиения звёздных графов.
2062-е заседание. 21 ноября 2018 г. (секция Бесконечные группы)
А. Н. Шевляков (Омск). О радикале декартового произведения алгебраических множеств в группах.
Е. В. Соколов (Иваново). Обобщённые прямые произведения групп и их применение к изучению аппроксимируемости свободных конструкций групп.
Е. А. Туманова (Иваново). Об аппроксимируемости корневыми классами древесных произведений с объединёнными ретрактами.
С. А. Шахова (Барнаул). 1-замкнутые группы в многообразии 2-ступенно нильпотентных групп.
А. И. Созутов (Красноярск). О группах с энгелевыми элементами.
Н. М. Сучков (Красноярск), Об абелевых подгруппах группы ограниченных подстановок.
И. Е. Девяткова, А. А. Бутурлакин. О периодических локально нильпотентных группах конечной централизаторной размерности.
Т. Р. Насыбуллов (Кортрейк, Бельгия). Связи между аддитивной и мультипликативной группами двустороннего косого брейса.
2063-е заседание. 21 ноября 2018 г. (секция Теория колец)
А. А. Арутюнов (Москва). О дифференцированиях в групповых алгебрах.
А. В. Алексеев (Долгопрудный). Характеры на $n$-категориях и применение их к описанию дифференцирований групповой алгебры.
Д. М. Таганцов (Екатеринбург), А. Г. Гейн (Екатеринбург). О стандартных подалгебрах полных матричных алгебр.
Д. С. Баженов (Москва), А. Л. Канунников (Москва). Порядки в градуированных артиновых кольцах.
Э. Илич-Георгиевич (Сараево, Босния и Герцеговина). О градуированных $UJ$-кольцах.
А. В. Казакова (Красноярск). Автоморфизмы и идеалы обертывающего кольца R нильтреугольной подалгебры алгебры Шевалле типа $G_2$.
Д. Х. Козыбаев (Астана, Казахстан), А. С. Науразбекова (Астана, Казахстан). Линеаризация автоморфизмов свободных правосимметричных алгебр ранга 2.
К. М. Туленбаев (Алма-Ата, Казахстан), А. С. Джумадильдаев (Алма-Ата, Казахстан). Реализация алгоритма Бухбергера для бикоммутативных алгебр и алгебр Новикова.
О. В. Шашков (Москва), С. В. Пчелинцев (Москва). Простые асимметричные дубли, их автоморфизмы и дифференцирования.
2064-е заседание. 21 ноября 2018 г. (секция Теория моделей и универсальная алгебра)
Б. Ш. Кулпешов (Алма-Ата, Казахстан). The countable spectrum of weakly o-minimal theories of finite convexity rank.
С. С. Байжанов (Алма-Ата, Казахстан), Б. Ш. Кулпешов (Алма-Ата, Казахстан). Эренфойхтность почти о-минимальных теорий с выпуклостью ранга 1.
В. В. Вербовский (Алма-Ата, Казахстан). Piecewise monotonicity for unary functions definable in ordered dense groups of Morley o-rank 1.
М. И. Бекенов (Астана, Казахстан). Решетка формульно-определимых подквазимногообразий полных теорий квазимногообразия полных теорий.
С. А. Бадмаев, И. К. Шаранхаев (Улан-Удэ). О классах мультифункций, порожденных максимальными частичными ультраклонами.
Д. Е. Пальчунов, А. В. Трофимов. Простые суператомные булевы алгебры с выделенной плотной подалгеброй конечной ширины.
А. А. Степанова, Д. О. Птахов (Владивосток). Об аксиоматизируемости класса подпрямо неразложимых полигонов над группой.
Е. Л. Ефремов (Владивосток). Примитивная нормальность класса инъективных полигонов.
С. В. Судоплатов. On approximations of theories.
С. В. Судоплатов. О рангах семейств теорий и их спектрах.
Н. Д. Мархабатов, С. В. Судоплатов. О рангах семейств всех теорий данного языка.
Д. Ю. Емельянов, С. В. Судоплатов. О почти детерминированных алгебрах бинарных изолирующих формул полигонометрических теорий с условием симметрии.
Д. Ю. Емельянов. Об алгебрах бинарных изолирующих формул для архимедовых тел.
А. В. Кравченко. О двойственных хорновых формулах.
2065-е заседание. 22 ноября 2018 г. (пленарное заседание)
А. Н. Рыбалов (Омск). Генерические сводимости и степени.
Н. А. Перязев (Санкт-Петербург). Конечные алгебры операций и мультиопераций.
Н. А. Баженов. Вычислимая категоричность и индексные множества.
П. Е. Алаев. Структуры, вычислимые за полиномиальное время.
2066-е заседание. 22 ноября 2018 г. (секция Алгебро-логические методы в информационных технологиях)
А. В. Бессонов. Первая теорема Гёделя о неполноте нумерационно зависима.
О. А. Охотников (Екатеринбург). Об использовании частичной скулемизации в задаче поиска натурального логического вывода.
Д. Д. Рогозин (Москва). Intuitionistic epistemic logic and functional programming.
А. С. Трегубов. Анализ субъективности текстов с использованием онтологических моделей для оценки общественного мнения.
А. А. Карманова. Онтологический подход к работе с нормативными текстовыми документами.
К. А. Табаков. Применение онтологического подхода для формализации процесса сбора и анализа требований к программному продукту.
Н. П. Савин. Применение самоорганизующиеся карты Кохонена для решения задачи кластеризации прецедентов по компьютерной безопасности.
И. А. Корсун. Теоретико-модельный подход формализации пространственно-временного описания ситуаций.
Р. С. Погодин. Адаптация структуры иерархических меню услуг для различных типов пользователей.
А. В. Менькин. Применение методов регрессионного анализа для решения проблемы разреженности пользовательских оценок в музыкальной рекомендательной системе.
В. А. Скокова. О формализации базы прецедентов компьютерных атак с помощью нечётких моделей.
К. С. Нам. Алгоритм проверки корректности субъективных знаний эксперта о предметной области.
2067-е заседание. 22 ноября 2018 г. (секция Теория колец)
А. С. Панасенко. Центральные порядки в конечномерных простых ассоциативных супералгебрах.
А. В. Попов (Ульяновск). Тождества йордановых алгебр пуассонова типа.
М. Е. Гончаров, В. Н. Желябин. Координатное кольцо $n$-мерной сферы и дифференциально простые алгебры.
М. Е. Гончаров. Связь операторов Роты-Бакстера со структурами биалгебры на алгебрах Ли и Мальцева.
2068-е заседание. 4 декабря 2018 г.
М. В. ШВИДЕФСКИ. Об относительно $ff$-универсальных квазимногообразиях.