Доклады:

Брылякова Елизавета Валерьевна — Унификация в предтабличных расширениях интуиционистской логики.

Грекович Константин Викентьевич — Исследование разрешимости логик, порожденных многоагентными моделями со сгустками времени.

Егорова Ангелина Дмитриевна — Алгоритмы умножения в конечных полях и их сложность.

Мартьянов Руслан Аскарович — Теоремы о параметризации классов сопряженных элементов унитреугольной группы над полем.

Поляков Александр Алексеевич — Кортежная семантика линейной временной логики.

Проценко Никита Александрович — Полилинейные модальные логики и операторы ограниченной надежности.

Резанцева Анна Владимировна — Струнные С-группы и политопы ранга 3.

Дата: 05.06.2025.