ISAIM 2016
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 2016, email isaim2016 AT wave DOT tulane DOT edu. Join the Google group of ISAIM to receive major annoucements from the organizers of the symposium.
Banquet
Dear Symposium participants, please respond to the email by Frederick Hoffman indicating your banquet meal choice to him as well as to Maria Provost. Also, if you have not registered yet, please do so in order to avoid a late charge.
PAPER SUBMISSION
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 Friday, October 30, 2015.
REGISTRATION
Registration is now open. Please visit https://fauf.fau.edu/ISAIM hosted at the Florida Atlantic University, to register. Note that if you are indicating a country different from the US during registration and moreover you have to indicate a state for that country, please select AA among the options.
KEYNOTE SPEAKERS
| Yixin Chen | Washington University in St Louis |
| Rina Dechter | University of California, Irvine |
| Ariel Procaccia | Carnegie Mellon University |
ORGANIZING COMMITTEE
| General Chair | Martin Charles Golumbic | University of Haifa |
|---|---|---|
| Conference Chair | Frederick Hoffman | Florida Atlantic University |
| Program Co-Chair | Francesca Rossi | University of Padova and Harvard University |
| Program Co-Chair | Kristen Brent Venable | Tulane University and IHMC |
| Publicity Chair | Dimitrios I. Diochnos | University of Virginia |
SPECIAL SESSION CHAIRS
| Boolean and pseudo-Boolean Functions | |
|---|---|
| Endre Boros | Rutgers University |
| Yves Crama | University of Liège |
| Computational Approaches to Proof Construction | |
| Vijay Ganesh | University of Waterloo |
| Integrating Constraint Programming and Operations Research | |
| John Hooker | Carnegie Mellon University |
The special session on Mathematical Theories of Natural Language Processing has been cancelled.