Доклад:

Смелых К.А. - "Model Checking для логики вычислительных деревьев"
Брылякова Е.В. - "Унитарный тип унификации для L3: гипотеза"
Поляков А.А. - "Подходы к оценке двухмерного кортежа в LTL.sl"

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

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