The Inter national Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fo sters interactions between mathematics, theoretica l computer science, and artificial intelligence. T his will be the sixteenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence. Traditionally, the Symposium attracts participant s from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three -day Symposium includes invited speakers, presenta tions of technical papers, and special topic sessi ons.
\nWe seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encou raged, but the focus should be on principled lesso ns learned from the development of the application . Work that will have been published as of January 2020 should not be submitted to ISAIM unless it i ntroduces a significant addition to the previously published work. However, the ISAIM web site proce edings are not archival, so papers submitted to IS AIM can be under review elsewhere at the time of s ubmission and can be submitted elsewhere after ISA IM.
\n