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 virginia.edu. 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.
Paper Submission Deadline Extended
Paper submission deadline has been extended to Tuesday, October 17, 2017.
Registration is now open. Please visit https://fauf.fau.edu/ISAIM hosted at the Florida Atlantic University, to register.
|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|
SPECIAL SESSION CHAIRS
|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|
|Applications of SAT|
|Miroslav N. Velev||Aries Design Automation|