Describir: Symposium on semantics of algorithmic languages