Special Session Computability Theory with Applications, Annual Meeting of the American Mathematical Society Conference uri icon