SUBMISSION DEADLINE EXTENDED Fourteenth International Symposium on ARTIFICIAL INTELLIGENCE and MATHEMATICS ISAIM 2016 http://isaim2016.cs.virginia.edu January 4-6, 2016 Fort Lauderdale, Florida
NEW PAPER SUBMISSION DEADLINE: October 30, 2015 The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. ISAIM 2016 is the fourteenth 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. 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. PAPER FORMATTING: Papers should be submitted in PDF and formatted in AAAI format, removing the AAAI copyright note. To remove the AAAI copyright note, put the line \nocopyright in your .tex file anywhere in the preamble after the line \usepackage{aaai}. The AAAI LaTeX files aaai.sty and aaai.bst are available from the AAAI Author's Instructions page http://www.aaai.org/Publications/Author/author.php For other AAAI style files please refer to the sections on "Templates" and "LaTeX Macros and Instructions" of AAAI's Author's Instructions page (do not forget to change the copyright restriction to your own name). AUTHORSHIP: Authors should list their names on their papers: the review process is not double blind. LENGTH: Papers submitted to review must not exceed six (6) pages, not counting bibliography. Final versions of accepted papers must not exceed eight (8) pages, not counting the bibliography. HOW TO SUBMIT A PAPER: To submit a paper, please go to https://easychair.org/conferences/?conf=isaim2016 Any questions regarding paper submission should be sent to the program committee chairs (Francesca Rossi and Kristen Brent Venable) at the email address isaim2...@wave.tulane.edu IMPORTANT DATES: Paper submission: October 30, 2015 Notification: November 25, 2015 Final version due: December 14, 2015 Symposium dates: January 4-6, 2016 PROGRAM COMMITTEE: Endre Boros Rutgers University Berthe Choueiry University of Nebraska-Lincoln Dimitrios I. Diochnos University of Virginia Juergen Dix Clausthal University of Technology Agostino Dovier Universita degli Studi di Udine Sean Fulop Fresno State University Vijay Ganesh University of Waterloo Martin Charles Golumbic University of Haifa John Hooker Carnegie Mellon University Peter Jeavons University of Oxford Maurice Pagnucco University of New South Wales Francesca Rossi University of Padova and Harvard University Arkadii Slinko University of Auckland Miroslaw (Mirek) Truszczynski University of Kentucky K. Brent Venable Tulane University and IHMC Toby Walsh NICTA and University of New South Wales Neil Yorke-Smith American University of Beirut Visit http://isaim2016.cs.virginia.edu/. Join is...@googlegroups.com to receive announcements related to ISAIM. _______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai