Nineteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2026
https://isaim2026.cs.ou.edu/
January 7-9, 2026
Fort Lauderdale, Florida
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 nineteenth Symposium in the series, sponsored by Florida Atlantic University and the Annals of Mathematics and Artificial Intelligence. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.
REGISTRATION:
Early Registration is now open. The Bahia Mar Fort Lauderdale Beach hotel special rates are valid only until Sunday, December 7, 2025, at 5pm, or until the block is sold out.
For registration, please visit https://epay.fau.edu/C20081_ustores/web/store_main.jsp?STOREID=217 hosted at the Florida Atlantic University.
For information regarding the hotel accommodation please have a look at https://isaim2026.cs.ou.edu/venue.html.
KEYNOTE SPEAKERS:
o Ariel Felner (Ben Gurion University)
-Title: The Mathematical Foundations of Bidirectional Heuristic Search
o Sergei Gukov (California Institute of Technology)
-Title: AI and AC: the Andrews-Curtis conjecture
o Jeff Jaffe (Former CEO of the World Wide Web Consortium)
-Title: Future Directions for Math and AI: in Conversation with Martin Golumbic
o Xingquan Zhu (Florida Atlantic University)
-Title: Scaling Heterogeneous Network Intelligence
SPECIAL TOPIC INVITED SESSIONS:
o Cooperation, Competition, and Complexity in AI Planning and Learning
-Organized by Alan Kuhnle and Guni Sharon (Both at Texas A&M University)
o Data-Driven Decisions: Applied ML and Optimization
-Organized by Munevver Subasi, Ersoy Subasi, and Xianqi Li (All three at Florida Institute of Technology)
o AI in Group Theory
-Organized by Elena Bunina (Bar Ilan University) and Alexei Miasnikov (Stevens Institute of Technology)
o Math and AI
-Organized by Martin Charles Golumbic (University of Haifa) and Frederick Hoffman (Florida Atlantic University)
ORGANIZERS:
o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs: Dimitrios I. Diochnos, University of Oklahoma
Joerg Rothe, Heinrich-Heine-University Dusseldorf
o Local Organizer: Maria Provost, Florida Atlantic University
o Publications & Publicity Chair: Dimitrios I. Diochnos, University of Oklahoma
Send inquiries and requests to <isaim-l AT lists.ou.edu>.
Visit https://isaim2026.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/
*
**********************************************************
Posts
