Zaslat SMS: Symposium on semantics of algorithmic languages