International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida January 6-8, 2020 http://isaim2020.cs.ou.edu/ #math