ISAIM: International Symposium on Artificial Intelligence and Mathematics



Past:   Proceedings on DBLP

Future:  Post a CFP for 2009 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
ISAIM 2008 Tenth International Symposium on Artificial Intelligence and Mathmatics
Jan 2, 2008 - Jan 4, 2008 Fort Lauderdale, FL, USA Oct 1, 2007

Present CFP : 2008

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. 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.


* David McAllester (Toyota Technological Institute at Chicago, USA)
* Francesca Rossi (Padova University, Italy)
* Naftali Tishby, (The Hebrew University, Israel)


* Logic in Artificial Intelligence
Special Session in Honor of the 65th Birthday of Victor Marek
Organized by Michael Kaminski (Technion) and Mirek Truszczynski (University of Kentucky).

* Computation and Social Choice
Organized by Toby Walsh (NICTA and University of New South Wales)

Related Resources

ICONIP 2017   International Conference on Neural Information Processing
IJCAI 2017   International Joint Conference on Artificial Intelligence
ISAIR 2017   The 2nd International Symposium on Artificial Intelligence and Robotics 2017
IUI 2017   Intelligent User Interfaces
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
EPIA 2017   EPIA Conference on Artificial Intelligence -- Journal Track
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ISMIS 2017   23rd International Symposium on Methodologies for Intelligent Systems
ISWC 2017   16th International Semantic Web Conference
PReMI 2017   Seventh International Conference on Pattern Recognition and Machine Intelligence