<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:12.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-US" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt"> SECOND CALL FOR PAPERS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Nineteenth International Symposium on<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ARTIFICIAL INTELLIGENCE and MATHEMATICS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> ISAIM 2026<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> <a href="https://isaim2026.cs.ou.edu/">
https://isaim2026.cs.ou.edu/</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> January 7-9, 2026<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Fort Lauderdale, Florida<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> PAPER SUBMISSION DEADLINE: Monday, October 13, 2025<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">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 nineteenth 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:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">SPECIAL TOPIC SESSIONS (ALREADY CONFIRMED):<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o Cooperation, Competition, and Complexity in AI Planning and Learning<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> -Organized by Alan Kuhnle and Guni Sharon, Texas A&M University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o Boolean and pseudo-Boolean Functions -- Theory and Applications<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> -Organized by Munevver Subasi and Ersoy Subasi, Florida Institute of Technology<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">CALL FOR SPECIAL SESSIONS:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Proposals for additional Special Sessions are welcome. Please send a 1-2 page description and expected participants to Martin Golumbic
<a href="mailto:golumbic@gmail.com">golumbic@gmail.com</a> by October 31, 2025.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">PAPER SUBMISSION:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Paper submission will be electronic via the submission link to OpenReview on the Paper Submission page of the Symposium website (<a href="https://isaim2026.cs.ou.edu/">https://isaim2026.cs.ou.edu/</a>). Papers
must be formatted in accordance with the guidelines given there. For convenience we place the OpenReview link here as well:
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><a href="https://openreview.net/group?id=ISAIM/2026/Symposium">https://openreview.net/group?id=ISAIM/2026/Symposium</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Please note OpenReview's moderation policy for newly created profiles:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o New profiles created without an institutional email will go through a moderation process that can take up to two weeks.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o New profiles created with an institutional email will be activated automatically.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The submission deadline is Monday, October 13, 2025 (11:59PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by Wednesday, November
12, 2025. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by Wednesday, November 26, 2025.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Work that will have been published as of January 2026 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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Any questions regarding paper submission should be sent to the Program Committee Chairs (Dimitrios Diochnos and Joerg Rothe) at the email address <isaim-l AT lists DOT ou DOT edu>.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">IMPORTANT DATES:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Paper submission: Monday, October 13, 2025<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Notification: Wednesday, November 12, 2025<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Final version due: Wednesday, November 26, 2025<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Symposium: January 7-9, 2026, Ft. Lauderdale, Florida<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">ORGANIZERS:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o General Chair: Martin Charles Golumbic, University of Haifa<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o Conference Chair: Frederick Hoffman, Florida Atlantic University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o Program Committee Chairs: Dimitrios I. Diochnos, University of Oklahoma<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> Joerg Rothe, Heinrich-Heine University Dusseldorf<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o Local Organizer: Maria Provost, Florida Atlantic University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o Publications & Publicity Chair: Jay C. Rothenberger, University of Oklahoma<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">PROGRAM COMMITTEE (ALREADY CONFIRMED):<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Pavlos Andreadis, The University of Edinburgh<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Roberto Battiti, Universita di Trento<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Salem Benferhat, Universite d'Artois<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Endre Boros, Rutgers University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Martin Bullinger, The University of Oxford<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Elena Bunina, Bar Ilan University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Berthe Y. Choueiry, University of Nebraska-Lincoln<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Benjamin Fish, University of Michigan<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Judy Goldsmith, University of Kentucky<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Lisa Hellerstein, New York University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">John Hooker, Carnegie Mellon University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Taylor Johnson, Vanderbilt University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Aryeh Kontorovich, Ben Gurion University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Temur Kutsia, Johannes Kepler University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Reuth Mirsky, Tufts University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Debasis Mitra, Florida Institute of Technology<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Leora Morgenstern, SRI<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Lev Reyzin, University of Illinois at Chicago<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Ildiko Schlotter, University of Technology and Economics of Budapest & Economic and Regional Science Research Center, Budapest, Hungary<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Konstantinos Skianis, University of Ioannina<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Marija Slavkovik, University of Bergen<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">V.S. Subrahmanian, Northwestern University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Gyorgy Turan, University of Illinois at Chicago<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Stefan Woltran, TU Vienna<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Join <a href="mailto:isaim@googlegroups.com">
isaim@googlegroups.com</a> to receive announcements related to ISAIM.<o:p></o:p></span></p>
</div>
</body>
</html>