Брылякова Елизавета Валерьевна — Унификация в предтабличных расширениях интуиционистской логики. Грекович Константин Викентьевич — Исследование разрешимости логик, порожденных многоагентными моделями со сгустками времени. Егорова Ангелина Дмитриевна — Алгоритмы умножения в конечных полях и их сложность. Мартьянов Руслан Аскарович — Теоремы о параметризации классов сопряженных элементов унитреугольной группы над полем. Поляков Александр Алексеевич — Кортежная семантика линейной временной логики. Проценко Никита Александрович — Полилинейные модальные логики и операторы ограниченной надежности. Резанцева Анна Владимировна — Струнные С-группы и политопы ранга 3.
05.06.2025 г.