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

[Prof. Martin Charles Golumbic]

Apologies for multiple postings

ISAIM 2010
Conference Announcement

Call-for-Participation

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
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
applications.

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


KEYNOTE SPEAKERS

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

Details on keynote speakers:
http://gauss.ececs.uc.edu/Conferences/isaim2010/keynotes.html


SPECIAL TOPIC INVITED SESSIONS

* 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:
http://gauss.ececs.uc.edu/Conferences/isaim2010/sessions.html


IMPORTANT DATES

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


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