6-8 Jan 2020
Fort Lauderdale FL, U.S.A.
CALL FOR PARTICIPATION
Sixteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2020
http://isaim2020.cs.ou.edu/
January 6-8, 2020
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 will be the sixteenth Symposium in the series, sponsored by Florida
Atlantic University and the Annals of Mathematics and Artificial
Intelligence. The three-day Symposium includes invited speakers,
presentations of technical papers, and special topic sessions. This time
the special topics sessions are on applications of AI/robotics to
agriculture and on Boolean and pseudo-Boolean functions.
*REGISTRATION*
Early Registration is now open. The Sonesta Hotel special rates are valid
only until Tuesday, December 3, 2019, at 5pm, or until the block is sold
out.
For registration, please visit https://fauf.fau.edu/isaim-2020/ hosted at
the Florida Atlantic University.
For information regarding the hotel accommodation please have a look at
http://isaim2020.cs.ou.edu/venue.html.
*PARTIAL SUPPORT FOR STUDENTS*
Partial support is available for up to 8 students needing (double
occupancy) accommodation at the Sonesta Hotel. Applications must be sent
to Prof. Frederick Hoffman <hoffman@fau.edu> by Dec. 1, 2019, consisting
of (1) name and email recommendation from your academic advisor and (2) a
short 1-2 page statement of your research progress in AI&Math. Support is
subject to registering for ISAIM as a student and attending all 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)
*ACCEPTED PAPERS*
Please follow the link http://isaim2020.cs.ou.edu/papers.html to view the
accepted papers.
--
[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