ISAIM 2020

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 2020, email isaim2020 AT Join the Google group of ISAIM to receive major annoucements from the organizers of the symposium.


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


Registration is now open. Please select Registration from the sidebar for further information.

Partial Support for Students

Partial support is available for students. Please see the Registration page for more information.


William Hahn Florida Atlantic University
Lisa Hellerstein New York University
Aaron Roth University of Pennsylvania
Shlomo Zilberstein University of Massachusetts, Amherst


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


Applications of AI/Robotics to Agriculture
Yiannis Ampatzidis University of Florida
Ilias S. Kotsireas Wilfrid Laurier University
Panos M. Pardalos University of Florida
Boolean and pseudo-Boolean Functions
Endre Boros Rutgers University
Yves Crama University of Liège