6-8 Jan 2020
Fort Lauderdale FL, U.S.A.
SECOND CALL FOR PAPERS
Sixteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2020
http://isaim2020.cs.ou.edu/
January 6-8, 2020
Fort Lauderdale, Florida
PAPER SUBMISSION DEADLINE: Friday, October 4, 2019
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 will be the sixteenth Symposium in the series, sponsored by Florida
Atlantic University and the 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 William Hahn (Florida Atlantic University)
o Lisa Hellerstein (New York University)
o Aaron Roth (University of Pennsylvania)
o Shlomo Zilberstein (University of Massachusetts, Amherst)
*PAPER SUBMISSIONS*
Paper submission will be electronic via the submission link to Easychair
on the Paper Submission page of the Symposium website
(/isaim2020.cs.ou.edu/). Papers must be formatted in accordance with the
guidelines given there.
Work that will have been published as of January 2020 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 elsewhere
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 an archival 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 submissions should be sent to the program
committee chair (Lev Reyzin) at the email address <isaim2020 at cs DOT ou
DOT edu>.
*IMPORTANT DATES*
Paper submission
October 4, 2019 (11:59 PM PDT)
Notification
November 1, 2019 (11:59 PM PDT)
Final papers due
November 22, 2019 (11:59 PM PDT)
Workshop
January 6-8, 2020, Ft. Lauderdale, Florida
*ORGANIZERS*
General Chair
Martin Charles Golumbic (University of Haifa)
Conference Chair
Frederick Hoffman (Florida Atlantic University)
Program Committee Chair
Lev Reyzin (University of Illinois at Chicago)
Publicity Chair
Dimitrios I. Diochnos (University of Oklahoma)
*PROGRAM COMMITTEE*
Shai Ben-David (University of Waterloo)
Salem Benferhat (Universite d'Artois)
Berthe Choueiry (University of Nebraska-Lincoln)
Dimitrios I. Diochnos (University of Oklahoma)
Benjamin Fish (Microsoft Research Montreal)
Michael Fisher (University of Liverpool)
Steve Hanneke (Toyota Technological Institute at Chicago)
Yi Huang (University of Chicago)
Larry M. Manevitz (University of Haifa and Ariel University)
Leora Morgenstern (Systems & Technology Research)
Lev Reyzin (University of Illinois at Chicago)
David Sarne (Bar-Ilan University)
Marija Slavkovik (University of Bergen)
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)
Send inquiries and requests to <isaim2020 at cs DOT ou DOT edu>.
Visit http://isaim2020.cs.ou.edu/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam