Call for Papers

ABOUT THE SYMPOSIUM

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence (AI). This is the fifteenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence.

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. 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.

Work that has already been published as of the ISAIM submission deadline 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 at the time of submission and can be submitted elsewhere after ISAIM.

Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Papers must of course be new and unpublished to be considered for the special volume.

PAPER SUBMISSIONS

Please select Paper Submissions from the sidebar for instructions on how to submit a paper.

Any questions regarding paper submissions should be sent to the program committee chairs (Jürgen Dix and Guillermo Simari) at the email address isaim2018 AT mail.cs.virginia.edu.

IMPORTANT DATES

Paper submission October 3, 2017 (11:59 PM PDT)
Notification October 31, 2017 (11:59 PM PDT)
Final papers due November 27, 2017 (11:59 PM PDT)
Workshop January 3–5, 2018, Ft. Lauderdale, Florida