ISAIM 2022
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 2022, email at an address that will be announced here soon. Join the Google group of ISAIM to receive major annoucements from the organizers of the symposium.
REGISTRATION
Registration is now open and is free for everyone this year. Please select Registration from the sidebar for further information.
KEYNOTE SPEAKERS
Confirmed keynote speakers are shown below.
| Noa Agmon | Bar-Ilan University |
| Cynthia Dwork | Harvard University |
| Jérôme Lang | LAMSADE, CNRS, Université Paris-Dauphine, PSL |
| Arun Ross | Michigan State University |
| Ohad Shamir | Weizmann Institute of Science |
| Noam Slonim | IBM Research AI |
| Noga Zaslavsky | MIT |
ORGANIZING COMMITTEE
| General Chair | Martin Charles Golumbic | University of Haifa |
|---|---|---|
| Conference Chair | Frederick Hoffman | Florida Atlantic University |
| Program Chair | Martin Charles Golumbic | University of Haifa |
| Publications & Publicity Chair | Dimitrios I. Diochnos | University of Oklahoma |
SPECIAL SESSION CHAIRS
| In Memory of Naftali Tishby | |
|---|---|
| Martin Golumbic | University of Haifa |
| Boolean and pseudo-Boolean Functions | |
| Endre Boros | Rutgers University |
| Yves Crama | University of Liège |
| Coalition Formation Games | |
| Judy Goldsmith | University of Kentucky |
| Jörg Rothe | Heinrich-Heine-Universität Düsseldorf |
| Combinatorial and Geometric Problems in Imaging Sciences | |
| Valentin Brimkov | Buffalo State College |
| Formalization in Mathematics | |
| Gonzalo A. Aranda-Corral | Universidad de Sevilla |
| Francisco Jesús Martín Mateos | Universidad de Sevilla |
| Sequencing, sequential decision making and scheduling | |
| Lisa Hellerstein | New York University |
| Thomas Lidbetter | Rutgers University |
| Uncertain Reasoning | |
| Alessandro Antonucci | Istituto Dalle Molle di Studi sull'Intelligenza Artificiale (IDSIA) |
| Salem Benferhat | University of Artois |
| Kamal Premaratne | University of Miami |