Доклад:

• А.А. Мукосий - Расширения логик. Трансляции CL+/CL.

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

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Анай-оол О.М.

.