[DL] ISAIM-2020 CALL FOR PAPERS

[Prof. Martin Charles Golumbic]

Dear Colleagues,
      This January we will celebrate the 30-year anniversary of the
International Symposium on Artificial Intelligence and Mathematics
(ISAIM).  I would like to personally invite you and your colleagues to come
and participate.  Attached is the  CALL FOR PAPERS.

Besides submitting regular papers, we would be happy to receive proposals
for
organizing a special session.  ISAIM is a great opportunity to
gather working groups to start (or finish) new research papers and
collaborations. These proposals should be sent to me.
      Best wishes, Marty Golumbic

============
          ISAIM-2020 – Ft. Lauderdale, Florida (Jan. 6-8, 2020)

         http://isaim2020.cs.ou.edu/ <http://isaim2020.cs.ou.edu/>

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.

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

Authors of a selected set of papers from the Symposium will be invited to
submit full versions of their papers for inclusion in an archival 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*

The Paper Submissions <http://isaim2020.cs.ou.edu/submissions.html> link
with instructions on how to submit a paper will be available starting
August 18 at http://isaim2020.cs.ou.edu/

Any questions regarding paper submissions should be sent to the program
committee chair (Lev Reyzin) at the email address isaim2020 AT cs.ou.edu

         *IMPORTANT DATES*

Paper submission
         October 4, 2019 (11:59 PM PDT)
Notification
         November 1, 2019 (11:59 PM PDT)
Final papers due
         November 22, 2019 (11:59 PM PDT)
Workshop
          January 6–8, 2020, Ft. Lauderdale, Florida