Universiteit van Amsterdam


Institute for Logic, Language and Computation

6 - 8 January 2020, 16th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2020), Fort Lauderdale FL, U.S.A.

Date: 6 - 8 January 2020
Location: Fort Lauderdale FL, U.S.A.
Deadline: Friday 4 October 2019

The International Symposium on Artificial Intelligence and Mathematics (ISAIM), is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This 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 participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

We 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 encouraged, but the focus should be on principled lessons 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 introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review elsewhere at the time of submission and can be submitted elsewhere after ISAIM.

For more information, see http://isaim2020.cs.ou.edu/ or contact .