Доклад:

Смелых К.А. - Разрешимость для логики деревьев вычислений с агентами.
Брылякова Е.В. - К вопросу об определении эквивалентности унификаторов.

В рамках семинара оглашены дипломанты семинара 2022-2023 гг. за самое активное участие в его проведении:

• Брылякова Елизавета Валерьевна
• Мукосий Александр Алексеевич
• Поляков Александр Алексеевич
• Смелых Кирилл Александрович

Участники семинара:

• Башмаков С.И.
• Мукосий А.А.
• Поляков А.А.