Fwd: ISAIM 2012 - First Call for Papers
FIRST CALL FOR PAPERS
Twelfth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
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 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>.
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 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
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 isaim@... to receive announcements related to ISAIM.
For more options, visit this group at http://groups.google.com/group/isaim?hl=en.