6-8 Jan 2020
Fort Lauderdale FL, U.S.A.
CALL FOR PAPERS
Sixteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2020
http://isaim2020.cs.ou.edu/
January 6-8, 2020
Fort Lauderdale, Florida
PAPER SUBMISSION DEADLINE: Friday, October 4, 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.
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*
Paper submission will be electronic via a submission link that will be
announced to the Paper Submission page of the Symposium website
(/isaim2020.cs.ou.edu/). Papers must be formatted in accordance with the
guidelines given there.
Any questions regarding paper submissions should be sent to the program
committee chair (Lev Reyzin) at the email address <isaim2020 at cs DOT ou
DOT 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
Send inquiries and requests to <isaim2020 at cs DOT ou DOT edu>.
Visit http://isaim2020.cs.ou.edu/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam