Monday, November 30, 2009

[DMANET] Int'l Symp. on Artificial Intelligence and Mathematics (Jan 6-8, 2010, Ft. Lauderdale)

Apologies for multiple postings

ISAIM 2010
Conference Announcement


11th International Symposium on
Artificial Intelligence and Mathematics

January 6-8, 2010
Ft. Lauderdale, Florida
(periodically updated)

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

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.
Traditionally, the Symposium attracts participants from a variety of
disciplines, thereby providing a unique forum for scientific exchange.
This exchange is assisted by carefully selected and numerous special
sessions and invited speakers.

Each symposium has had a special focus. Focus topics have included
monotonic and non-monotonic logic, data mining, satisfiability,
constraint programming, knowledge representation, rewriting logic,
probabilistic logic, category theory, neural nets, and many others.
This year there will be many talks on Boolean and pseudo-Boolean
functions and related areas such as theorem provers in industrial

The Symposium spans three days and is in sunny and warm Ft. Lauderdale
at a time when many of us need a break.


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

Details on keynote speakers:


* Constraint Programming and Hybrid Methods - John Hooker
* Boolean and Pseudo-Boolean Functions - Endre Boros and Yves Crama
* Data Clustering for Bio-Informatics (tentative) - Raj Bhatnagar

Details on special sessions:


Early Registration Ends: December 21, 2009
Conference Hotel Low Rates: December 2, 2009
Program finalized: 2nd week in December

Send inquiries and requests:

isaim2008 mailing list
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.