Logic List Mailing Archive

CfP: ISAIM 2024: Eighteenth International Symposium on ARTIFICIAL INTELLIGENCE and MATHEMATICS, 08 - 10 January 2024, Fort Lauderdale (Florida/USA)


Eighteenth International Symposium on
ISAIM 2024
January 8-10, 2024
Fort Lauderdale, Florida

PAPER SUBMISSION DEADLINE: Monday, October 9, 2023

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 is the fifteenth Symposium in the series, which is sponsored by 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.


o Boolean and pseudo-Boolean Functions 
    -Organized by Endre Boros, Rutgers University, and Yves Crama, University of Liege 

o Alternative Models for Fairness in AI
    -Organizers: John Hooker, Tae Wan Kim, and Derek Leben, Carnegie Mellon University

o Deep Reinforcement Learning Workshop: Bridging Theory and Practice
    -Organized by Abhishek Gupta, University of Washington, and Zhaorang Wang, Northwestern University


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

The submission deadline is Tuesday, October 9, 2023 (11:59PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by Wednesday, November 8, 2023.  Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by Wednesday, November 29, 2023.  

Work that will have been published as of January 2024 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.

Any questions regarding paper submission should be sent to the Program Committee Chairs (Claudio Gentile and Aldo Pacchiano) at the email address <isaim2024 AT cs DOT ou DOT edu>.


Paper submission:   Tuesday, October 9, 2023
Notification:       Wednesday, November 8, 2023
Final version due:  Wednesday, November 29, 2023
Workshop:           January 8-10, 2024, Ft. Lauderdale, Florida


o General Chair:                   Martin Charles Golumbic, University of Haifa
o Conference Chair:                Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs:        Claudio Gentile, Google Research, New York
                                   Aldo Pacchiano, Boston University
o Local Organizer:                 Maria Provost, Florida Atlantic University
o Publications & Publicity Chair:  Dimitrios I. Diochnos, University of Oklahoma

Join isaim@googlegroups.com to receive announcements related to ISAIM.

[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php