Workshop on Computable Stability Theory, American Institute of Mathematics Conference uri icon