“…Kleene Symposium…”