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: isaim2010@gauss.ececs.uc.edu.
_______________________________________________
isaim2008 mailing list
isaim2008@lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/isaim2008
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
