“… Symposium on Recursive Functions …”