Reminder: Call for Papers: 11th Int'l Symp. on AI and Math (Jan 6-8, 2010, Ft. Lauderdale)

[Nils Bulling]

[Apologies, if you get this from multiple mailing lists on which you
may 
be subscribed.]

With the summer vacation now coming to an end, (winter for our
colleagues 
in the southern hemisphere), we would like to remind you of the Oct.
1st 
deadline for submitting papers to the 11th Int'l Symp. on AI and Math 
(Jan 6-8, 2010, Ft. Lauderdale).  


                          ISIAM 2010
                        Call for Papers

                11th International Symposium on 
            Artificial Intelligence and Mathematics

                       January 6-8, 2010
                    Ft. Lauderdale, Florida

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

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

                       in parallel with
        Special Session on Boolean and Pseudo-Boolean Functions
                  Endre Boros and Yves Crama, co-chairs
	Special Session on Constraint Programing and Hybrid Methods
		  John Hooker, 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.
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

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


                 SPECIAL TOPIC INVITED SESSIONS

Several special sessions will be organized in the coming months.  To 
suggest a special session please contact isaim2010 at 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 linked from
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 isaim2010 at 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
isaim2010 at gauss.ececs.uc.edu after October for information.


Send inquiries and requests: isaim2010 at gauss.ececs.uc.edu.

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