Sunday, August 21, 2011

[DMANET] ISAIM 2012 - Call for Papers

Apologies in advance to subscribers to multiple mailinglists.

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 Lige

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:

Stphane 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 Lige
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
Balzs Szrnyi 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@googlegroups.com to receive announcements related to ISAIM.

--
You received this message because you are subscribed to the Google Groups "International Symposium on Artificial Intelligence and Mathematics" group.
To post to this group, send email to isaim@googlegroups.com.
To unsubscribe from this group, send email to isaim+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/isaim?hl=en.

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