Stav dette: Symposium on semantics of algorithmic languages