ISAIM 2018

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


Craig Boutilier University of Toronto
Cynthia Rudin Duke University


General Chair Martin Charles Golumbic University of Haifa
Conference Chair Frederick Hoffman Florida Atlantic University
Program Co-Chair Jürgen Dix TU Clausthal
Program Co-Chair Guillermo R. Simari Universidad Nacional del Sur
Publicity Chair Dimitrios I. Diochnos University of Virginia


Flow Optimization in Traffic Networks
Michael Albert Duke University
Guni Sharon The University of Texas at Austin
Boolean and pseudo-Boolean Functions
Endre Boros Rutgers University
Yves Crama University of Liège
Formalising Robot Ethics
Michael Fisher University of Liverpool
Marija Slavkovik University of Bergen
Topological Reasoning and Data Analyses
Debasis Mitra Florida Istitute of Technology
Theory of Machine Learning
Lev Reyzin University of Illinois at Chicago