Computable isomorphism problem, AMS Meeting, Riverside, California (invited). Conference Paper uri icon