Society_for_the_foundations_of_computational_mathematics