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