A one page flier (PDF format) of the CFP is also available.

Call for Papers

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)
  • Effective Exploration in Active Learning and Reinforcement Learning
    Organized by Pascal Poupart (University of Waterloo)


Paper submission will be electronic via the submission link on the Symposium web-site. Papers must be formatted in accordance with the guidelines in the "Paper Submission" chapter of the web site.

The submission deadline is Monday, October 1, 2007 (11:59PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by Wednesday, October 31, 2007. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by Wednesday, November 21, 2007. Note that papers may be submitted to the Symposium even if submitted to other conferences or journals, because the Symposium web site is not archival.

Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice.

Any questions regarding paper submission should be sent to the program co-chairs to the email address .


Paper submission: Monday, October 1, 2007

Notification: Wednesday, October 31, 2007

Final version due: Wednesday, November 21, 2007


Limited travel support is available for students. Please contact isaim2008 AT cse.unl.edu for information.

Send inquiries and requests: isaim2008 AT cse.unl.edu.

Join isaim@googlegroups.com to receive announcements related to ISAIM.

Last updated: December 12, 2007.