Доклад:

Зверева Т.Ю. - Унификация классе ступенчатых логик: проективность по Гиларди.
Смелых К.А. - Автоматная семантика для временных логик.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Зверева Т.Ю.