Thursday, September 19, 2013

[DMANET] ISAIM 2014: Second Call for Papers


Thirteenth International Symposium on
ISAIM 2014
January 6-8, 2014
Fort Lauderdale, Florida


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 thirteenth Symposium in the series, which is sponsored by the journal Annals of Mathematics and Artificial Intelligence and by Florida Atlantic University. 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. The Symposium takes place at the Embassy Suites Hotel in Fort Lauderdale. Plea!
se visit for more information about the venue.


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

o Mathematical Theories of Natural Language Processing
-Organized by Andras Kornai, Hungarian Academy of Sciences

o Theory of Machine Learning
-Organized by Lev Reyzin, University of Illinois at Chicago

o Proposals for organizing additional special sessions can be sent to the chairs for consideration by September 15, 2013.


o Peter Stone, University of Texas at Austin

o Csaba Szepesvari, University of Alberta


Paper submission will be electronic via the submission link on the Paper Submission page of the Symposium website ( Papers must be formatted in accordance with the guidelines given there.

The submission deadline is October 15, 2013 (11:59 PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by November 15, 2013. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by December 15, 2013.

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 chairs at the email address <isaim2014 at cs DOT uic DOT edu>.


Paper submission: October 15, 2013
Notification: November 15, 2013
Final version due: December 15, 2013
Workshop: January 6-8, 2014, Ft. Lauderdale, Florida


o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs: Lisa Hellerstein, Polytechnic Institute of NYU
Gyorgy Turan, University of Illinois at Chicago and University of Szeged
o Publicity Chair: Dimitrios I. Diochnos, University of Edinburgh


Stephane Airiau University of Amsterdam
Endre Boros Rutgers University
Arthur Choi University of California Los Angeles
Berthe Choueiry University of Nebraska-Lincoln
Yves Crama University of Liege
Marek Druzdzel University of Pittsburgh
Roni Khardon Tufts University
Richard Korf University of California Los Angeles
Loizos Michael Open University of Cyprus
Maurice Pagnucco University of New South Wales
Barnabas Poczos Carnegie Mellon University
Francesca Rossi University of Padova
Bart Selman Cornell University
Rocco Servedio Columbia University
Hans-Ulrich Simon Ruhr-University Bochum
Stefan Szeider Vienna University of Technology
Balazs Szorenyi University of Szeged
Miroslaw (Mirek) Truszczynski University of Kentucky
Frank Wolter University of Liverpool
Stefan Woltran Vienna University of Technology
Neil Yorke-Smith American University of Beirut

Send inquiries and requests to isaim2014 at cs DOT uic DOT edu.
Join to receive announcements related to ISAIM.

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

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