Mathematical Foundations of Programming Semantics: International Conference (informationswissenschaftl. Veröffentlichungen)