ISAIM 2018: Submission Deadline Reminder
6 views
Skip to first unread message
Dimitris Diochnos
Oct 16, 2017, 11:47:45 AM10/16/17
to
SUBMISSION DEADLINE REMINDER
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 17, 2017
PAPER REVISION DEADLINE: Wednesday, October 18, 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.
KEYNOTE SPEAKERS:
o Craig Boutilier, University of Toronto
o Cynthia Rudin, Duke University
SPECIAL TOPIC INVITED SESSIONS:
o Flow Optimization in Traffic Networks
-Organized by Michael Albert, Duke University, and Guni Sharon,
The University of Texas at Austin
o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros, Rutgers University, and Yves Crama,
University of Liège
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 on to Tuesday, October 17, 2017 (11:59PM
PDT). The system will remain open for another 12 hours for potential
updates of papers that have been submitted by the deadline. Papers
will be reviewed by members of the Program Committee. Authors will be
notified of acceptance or rejection by Tuesday, November 7, 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 17, 2017 (11:59PM PDT)
Paper revision: Wednesday, October 18, 2017 (11:59AM PDT)
Notification: Tuesday, November 7, 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: Jürgen 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 Université 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 Liège
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
Mirosław (Mirek) Truszczyński University of Kentucky
György Turán 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 TU Delft and 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 is...@googlegroups.com to receive announcements related to ISAIM.
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 17, 2017
PAPER REVISION DEADLINE: Wednesday, October 18, 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.
KEYNOTE SPEAKERS:
o Craig Boutilier, University of Toronto
o Cynthia Rudin, Duke University
SPECIAL TOPIC INVITED SESSIONS:
o Flow Optimization in Traffic Networks
-Organized by Michael Albert, Duke University, and Guni Sharon,
The University of Texas at Austin
o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros, Rutgers University, and Yves Crama,
University of Liège
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 on to Tuesday, October 17, 2017 (11:59PM
PDT). The system will remain open for another 12 hours for potential
updates of papers that have been submitted by the deadline. Papers
will be reviewed by members of the Program Committee. Authors will be
notified of acceptance or rejection by Tuesday, November 7, 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 17, 2017 (11:59PM PDT)
Paper revision: Wednesday, October 18, 2017 (11:59AM PDT)
Notification: Tuesday, November 7, 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: Jürgen 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 Université 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 Liège
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
Mirosław (Mirek) Truszczyński University of Kentucky
György Turán 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 TU Delft and 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 is...@googlegroups.com to receive announcements related to ISAIM.
Reply all
Reply to author
Forward
0 new messages