ISAIM: International Symposium on Artificial Intelligence and Mathematics

FacebookTwitterLinkedInGoogle

 

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.

INVITED SPEAKERS:

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

SPECIAL TOPIC INVITED SESSIONS:

* 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

IJCAI 2019   International Joint Conference on Artificial Intelligence
AAAI 2019   National Conference on Artificial Intelligence
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ICDMML 2019   2019 International Conference on Data Mining and Machine Learning
PAKDD 2019   Pacific-Asia Conference on Knowledge Discovery and Data Mining
CAIP 2019   Computer Analysis of Images and Patterns
IJSCMC 2018   International Journal of Soft Computing, Mathematics and Control
iDSC 2019   International Data Science Conference
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI