“...Symposium on Mathematical Foundations of Computer Science (1972-) Mariánské Lázně, Česko)...”