ISAIM 2026

The International Symposium on Artificial Intelligence and Mathematics is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. The series was started by Martin Golumbic, Peter L. Hammer and Frederick Hoffman in 1990, and the editorial board of the Annals of Mathematics and Artificial Intelligence serves as the permanent Advisory Committee. 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.

If you have a question about ISAIM 2026, please email at isaim-l@lists.ou.edu.

Join the Google group of ISAIM to receive major annoucements from the organizers of the symposium.

PAPER SUBMISSION

Please select Paper Submissions from the sidebar for instructions on how to submit a paper to ISAIM.

Deadline Extension

Paper submission deadline has been extended to Monday, October 20, 2025 (11:59PM PDT).

REGISTRATION

Registration is now open. Please visit this webpage hosted at the Florida Atlantic University, to register.

ISAIM KEYNOTE SPEAKERS

Ariel Felner Ben Gurion University
Sergei Gukov California Institute of Technology
Jeff Jaffe Former CEO of the World Wide Web Consortium
Xingquan Zhu Florida Atlantic University

For more information on the titles and summaries of the planned talks by the keynote speakers please have a look under the Keynote Speakers page that is accessible from the menu on the left.

ISAIM ORGANIZING COMMITTEE

General Chair Martin Charles Golumbic University of Haifa
Conference Chair Frederick Hoffman Florida Atlantic University
Local Organizer Maria Provost Florida Atlantic University
Program Co-Chair Dimitrios I. Diochnos University of Oklahoma
Program Co-Chair Jörg Rothe Heinrich Heine University Düsseldorf
Publications & Publicity Chair Jay C. Rothenberger University of Oklahoma

ISAIM SPECIAL SESSION CHAIRS

Requests for organizing additional special sessions can be made until Oct. 31, 2025 by contacting Martin Golumbic <golumbic@gmail.com>.

Cooperation, Competition, and Complexity in AI Planning and Learning
Alan Kuhnle Texas A&M University
Guni Sharon Texas A&M University
Boolean and pseudo-Boolean Functions -- Theory and Applications
Munevver Subasi Florida Institute of Technology
Ersoy Subasi Florida Institute of Technology
AI in Group Theory
Elena Bunina Bar-Ilan University
Alexei Miasnikov Stevens Institute of Technology