[PlanetKR] ISAIM 2012 - First Call for Papers

[Dimitrios I Diochnos]

                         FIRST CALL FOR PAPERS

                    Twelfth International Symposium on
                ARTIFICIAL INTELLIGENCE and MATHEMATICS
                               ISAIM 2012
                    http://www.cs.uic.edu/Isaim2012/
                           January 9-11, 2012
                        Fort Lauderdale, Florida

           PAPER SUBMISSION DEADLINE: Friday, September 23, 2011

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



SPECIAL TOPIC INVITED SESSIONS:

o Computational Social Choice
     -Organized by Judy Goldsmith, University of Kentucky

o Boolean and pseudo-Boolean Functions
     -Organized by Endre Boros, Rutgers University, and Yves Crama,  
University of Liège

o Causal Learning from Complex Data Structures
     -Organized by David Danks, Institute for Human & Machine  
Cognition; and Carnegie Mellon University



PAPER SUBMISSION:

Paper submission will be electronic via the submission link to  
ConfMaster on the Paper Submission page of the Symposium website (/www.cs.uic.edu/Isaim2012/ 
).  Papers must be formatted in accordance with the guidelines given  
there.

The submission deadline is Friday, September 23, 2011 (11:59PM PDT).  
Papers will be reviewed by members of the Program Committee. Authors  
will be notified of acceptance or rejection by Friday, October 28,  
2012.  Final versions of accepted papers, for inclusion in the  
conference electronic proceedings, are due by Monday, December 5, 2011.

Work that has already been published as of the ISAIM submission  
deadline should not be submitted to ISAIM unless it introduces a  
significant addition to the previously published work. However, the  
ISAIM web site proceedings are not archival, so papers submitted to  
ISAIM can be under review at the time of submission and can be  
submitted elsewhere after ISAIM.

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. Papers must of course  
be new and unpublished to be considered for the special volume.

Any questions regarding paper submission should be sent to the program  
committee chair at the email address <isaim2012 at cs DOT uic DOT edu>.


IMPORTANT DATES:

Paper submission:   Friday, September 23, 2011
Notification:       Friday, October 28, 2011
Final version due:  Monday, December 5, 2011
Workshop:           January 9-11, 2012, Ft. Lauderdale, Florida



ORGANIZERS:

o General Chair:              Martin Charles Golumbic, University of  
Haifa
o Conference Chair:           Frederick Hoffman, Florida Atlantic  
University
o Program Committee Chair:    Robert H. (Bob) Sloan, University of  
Illinois at Chicago
o Publicity Chair:            Dimitrios I. Diochnos, University of  
Illinois at Chicago	


PROGRAM COMMITTEE:

Stéphane Airiau     University of Amsterdam
Eyal Amir           University of Illinois at Urbana-Champagne
Endre Boros         Rutgers University
Emma Brunskill      University of California Berkeley
Arthur Choi         University of California Los Angeles
Berthe Choueiry     University of Nebraska-Lincoln
Yves Crama          University of Liège
Marek Druzdzel      University of Pittsburgh
Edith Elkind        Nanyang Technological University
Piotr J. Gmytrasiewicz 	University of Illinois at Chicago
Vibhav Gogate       University of Washington
Lisa Hellerstein    Polytechnic Institute of NYU
Roni Khardon        Tufts University
Richard Korf        University of California Los Angeles
Gerhard Lakemeyer   Aachen University of Technology
Hector Levesque     University of Toronto
Vladimir Lifschitz  University of Texas at Austin
Victor Marek        University of Kentucky
Loizos Michael      Open University of Cyprus
Maurice Pagnucco    University of New South Wales
Patrice Perny       Pierre et Marie Curie University
Marek Petrik        IBM Research
Steven Prestwich    Cork Constraint Computation Centre
Francesca Rossi     University of Padova
Wheeler Ruml        University of New Hampshire
Ashish Sabharwal    IBM Research
Robert Schapire     Princeton University
Linda Sellie        Polytechnic Institute of NYU
Meinolf Sellmann    Brown University
Bart Selman         Cornell University
Robert H. Sloan     University of Illinois at Chicago
Balázs Szörényi     University of Szeged
Miroslaw (Mirek) Truszczynski  University of Kentucky
Miroslav Velev      Aries Design Automation
Neil Yorke-Smith    American University of Beirut
Rong Zhou           PARC
Shlomo Zilberstein  University of Massachusetts Amherst


Send inquiries and requests to isaim2012 at cs DOT uic DOT edu.
Visit  http://www.cs.uic.edu/Isaim2012/.
Join isaim at googlegroups.com to receive announcements related to ISAIM.