Wednesday, July 31, 2019

[DMANET] ISAIM-2020 CALL FOR PAPERS

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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************