Reminder: ISAIM 2010

[isaim2010]

ISAIM 2010
2nd Call for Papers and Special Sessions

11th International Symposium on
Artificial Intelligence and Mathematics

January 6-8, 2010
Ft. Lauderdale, Florida

http://gauss.ececs.uc.edu/Conferences/isaim2010
(periodically updated)

John Franco and Raj Bhatnagar, Program Co-chairs
Fred Hoffman, Symposium Chair

colocated with
Workshop on Boolean and Pseudo-Boolean Functions
Endre Boros and Yves Crama, Program Co-chairs

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 eleventh Symposium in the series, which is
sponsored by the 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

* Larry Manevitz (University of Haifa, Israel)
* Warren Hunt (University of Texas, Austin, USA)
* Georg Gottlob, (Oxford University, UK)


SPECIAL TOPIC INVITED SESSIONS

Three sessions will be organized in the coming months. To suggest
a special session please contact isai...@gauss.ececs.uc.edu and
specify the nature of the session and who might lead it (you can
nominate yourself).


PAPER SUBMISSION

Paper submission will be electronic via the following submission link

http://gauss.ececs.uc.edu/Conferences/isaim2010/submissions.html

Papers must be formatted in accordance with the guidelines stated on
the
above page.

The submission deadline is Thursday, October 1, 2009 (11:59PM EDT).
Papers
will be reviewed by members of the Program Committee. Authors will
be
notified of acceptance or rejection by Saturday, October 31, 2009.
Final
versions of accepted papers, for inclusion in the conference
electronic
proceedings, are due by Saturday, November 21, 2009.

**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 isai...@gauss.ececs.uc.edu.


IMPORTANT DATES

Paper submission: Thursday, October 1, 2009
Notification: Saturday, October 31, 2009
Final version due: Saturday, November 21, 2009


TRAVEL SUPPORT FOR STUDENTS

Limited travel support may be available for students. Please contact
isai...@gauss.ececs.uc.edu after October for information.


Send inquiries and requests: isai...@gauss.ececs.uc.edu.