“...Symposium on Mathematical Foundations of Computer Science (1972-) Stará Lesná, Slovensko)...”