Доклад:

• Донец Е.А. - Об унификации в классе логик с ограниченной транзитивностью.
• Брылякова Е.В. - Структура нижних слоёв диаграмм унификаторов в L2.

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

• Башмаков С.И.
• Брылякова Е.В.
• Поляков А.А.
• Зверева Т.Ю.
• Фисков Я.С.
• Мукосий А.А.