ISAIM 2016 - Fourteenth International Symposium on ARTIFICIAL INTELLIGENCE and MATHEMATICS ISAIM 2016

Fourteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2016
http://isaim2016.cs.virginia.edu
January 4-6, 2016
Fort Lauderdale, Florida
PAPER SUBMISSION DEADLINE: October 25, 2015
The International Symposium on Artificial Intelligence and Mathematics
(ISAIM) is a biennial meeting that fosters interactions between
mathematics, theoretical computer science, and artificial
intelligence. ISAIM 2016 is the fourteenth Symposium in the series,
which is sponsored by the journal Annals of Mathematics and Artificial
Intelligence and by Florida Atlantic University.
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 FORMATTING:
Papers should be submitted in PDF and formatted in AAAI format,
removing the AAAI copyright note.
To remove the AAAI copyright note, put the line nocopyright in your
.tex file anywhere in the preamble after the line usepackage{aaai}.
The AAAI LaTeX files aaai.sty and aaai.bst are available from the AAAI
Author's Instructions page
http://www.aaai.org/Publications/Author/author.php
For other AAAI style files please refer to the sections on "Templates"
and "LaTeX Macros and Instructions" of AAAI's Author's Instructions
page (do not forget to change the copyright restriction to your own
name).
AUTHORSHIP:
Authors should list their names on their papers: the review process is
not double blind.
LENGTH:
Papers submitted to review must not exceed six (6) pages, not counting
bibliography. Final versions of accepted papers must not exceed eight
(8) pages, not counting the bibliography.
HOW TO SUBMIT A PAPER:
To submit a paper, please go to
https://easychair.org/conferences/?conf=isaim2016
Any questions regarding paper submission should be sent to the program
committee chairs (Francesca Rossi and Kristen Brent Venable) at the
email address isaim2016-AT-wave.tulane.edu
IMPORTANT DATES:
Paper submission: October 25, 2015
Notification: November 25, 2015
Final version due: December 14, 2015
Symposium dates: January 4-6, 2016