“...International Colloquium on the Formalization of Programming Concepts Peniscola, Španělsko)...”