“...Symposium on Recursive Functions...”