Email Record: Symposium on semantics of algorithmic languages