[DMANET] ISAIM 2020: Second Call for Papers

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

*KEYNOTE SPEAKERS*

o William Hahn (Florida Atlantic University)

o Lisa Hellerstein (New York University)

o Aaron Roth (University of Pennsylvania)

o Shlomo Zilberstein (University of Massachusetts, Amherst)

*PAPER SUBMISSIONS*

Paper submission will be electronic via the submission link to Easychair on the Paper Submission page of the Symposium website (/isaim2020.cs.ou.edu/). Papers must be formatted in accordance with the guidelines given there.

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.

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

*ORGANIZERS*

General Chair
Martin Charles Golumbic (University of Haifa)
Conference Chair
Frederick Hoffman (Florida Atlantic University)
Program Committee Chair
Lev Reyzin (University of Illinois at Chicago)
Publicity Chair
Dimitrios I. Diochnos (University of Oklahoma)

*PROGRAM COMMITTEE*

Shai Ben-David (University of Waterloo)
Salem Benferhat (Universite d'Artois)
Berthe Choueiry (University of Nebraska-Lincoln)
Dimitrios I. Diochnos (University of Oklahoma)
Benjamin Fish (Microsoft Research Montreal)
Michael Fisher (University of Liverpool)
Steve Hanneke (Toyota Technological Institute at Chicago)
Yi Huang (University of Chicago)
Larry M. Manevitz (University of Haifa and Ariel University)
Leora Morgenstern (Systems & Technology Research)
Lev Reyzin (University of Illinois at Chicago)
David Sarne (Bar-Ilan University)
Marija Slavkovik (University of Bergen)
Miroslaw (Mirek) Truszczynski (University of Kentucky)
Gyorgy Turan (University of Illinois at Chicago and University of Szeged)
Miroslav N. Velev (Aries Design Automation)
Kristen Brent Venable (Tulane University and IHMC)
Toby Walsh (NICTA and University of New South Wales)

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.

**********************************************************
*
* 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/
*
**********************************************************