Доклад:

• Т.Ю. Зверева - Unification and Finite Model Property for Linear Step-like Temporal Multi-agent Logic with the Universal Modality (доклад по статье).

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

• Зверева Татьяна Юрьевна
• Донец Екатерина Александровна

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

• Башмаков С.И.
• Донец Е.А.
• Порошин А.О.
• Смелых К.А.