[DL] ISAIM 2018: First Call for Papers

[Diochnos, Dimitrios (Dimitris) (dd7rq)]

                        FIRST CALL FOR PAPERS

                Fifteenth International Symposium on
               ARTIFICIAL INTELLIGENCE and MATHEMATICS
                              ISAIM 2018
                  http://isaim2018.cs.virginia.edu/
                          January 3-5, 2018
                       Fort Lauderdale, Florida

          PAPER SUBMISSION DEADLINE: Tuesday, October 3, 2017

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 fifteenth 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 Boolean and pseudo-Boolean Functions 
    -Organized by Endre Boros, Rutgers University, and Yves Crama, University of Liege 

o Formalising Robot Ethics 
    -Organized by Michael Fisher, University of Liverpool, and Marija Slavkovik, University of Bergen

o Topological Reasoning and Data Analyses 
    -Organized by Debasis Mitra, Florida Istitute of Technology

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


PAPER SUBMISSION:

Paper submission will be electronic via the submission link to EasyChair on the Paper Submission page of the Symposium website (/isaim2018.cs.virginia.edu/).  Papers must be formatted in accordance with the guidelines given there.

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

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 <isaim2018 at mail DOT cs DOT virginia DOT edu>.


IMPORTANT DATES:

Paper submission:   Tuesday, October  3, 2017 
Notification:       Tuesday, October 31, 2017 
Final version due:  Monday, November 27, 2017 
Workshop:           January 3-5, 2018, Ft. Lauderdale, Florida



ORGANIZERS:

o General Chair:              Martin Charles Golumbic, University of Haifa
o Conference Chair:           Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs:   Juergen Dix, TU Clausthal 
                              Guillermo R. Simari, Universidad Nacional del Sur
o Publicity Chair:            Dimitrios I. Diochnos, University of Virginia	


PROGRAM COMMITTEE:

Franz Baader        TU Dresden
Salem Benferhat     Universite d'Artois
Endre Boros         Rutgers University
Gerhard Brewka      Leipzig University
Yixin Chen          Washington University in St. Louis
Berthe Choueiry     University of Nebraska-Lincoln
Yves Crama          University of Liege
Dimitrios I. Diochnos  University of Virginia
Agostino Dovier     Università degli Studi di Udine
Michael Fisher      University of Liverpool
Georg Gottlob       University of Oxford
Warren Hunt         The University of Texas at Austin
Anthony Hunter      University College London
Vladimir Lifschitz  The University of Texas at Austin
Gerhard Lakemeyer   Aachen University of Technology
Hector Levesque     University of Toronto
Vladimir Lifschitz  University of Texas at Austin
Larry M. Manevitz   University of Haifa
Debasis Mitra       Florida Institute of Technology
Leora Morgenstern   Leidos, Inc., Reston
Maurice Pagnucco    University of New South Wales
Francesca Rossi     IBM Research and University of Padova
David Sarne         Bar-Ilan University
Marija Slavkovik    University of Bergen
Christine Solnon    INSA Lyon
Miroslaw (Mirek) Truszczynski  University of Kentucky
Gyorgy Turan        University of Illinois at Chicago and University of Szeged
Miroslav N. Velev   Aries Design Automation
Kristen Brent Venable  Tulane University and IHMC
Toby Walsh          NICTA and University of New South Wales
Neil Yorke-Smith    American University of Beirut


Send inquiries and requests to isaim2018 at mail DOT cs DOT virginia DOT edu.
Visit  http://isaim2018.cs.virginia.edu/.
Join isaim at googlegroups.com to receive announcements related to ISAIM.