Доклад:

Башмаков С.И. – Вводный доклад: задачи на семестр. Итоги секции V Конференции математических центров.
Брылякова Е.В. – Унификация в логике L3: перспективы улучшение типа унификации.
Поляков А.А. – Кортежная семантика для ветвящихся логик.

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

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