SMS: The Kleene Symposium :