Thursday, August 18, 2011

[DMANET] ISAIM 2012 - First Call for Papers


Twelfth International Symposium on
ISAIM 2012
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.


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 will be electronic via the submission link to
ConfMaster on the Paper Submission page of the Symposium website (/
). Papers must be formatted in accordance with the guidelines given

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


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


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


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.
Join to receive announcements related to ISAIM.

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