3-5 Jan 2022
CALL FOR PARTICIPATION
Seventeenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2022
http://isaim2022.cs.ou.edu/
January 3-5, 2022
Online via Zoom (Fort Lauderdale, Florida)
Registration is free and required in advance
Zoom links will be sent by email several days before the symposium
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 seventeenth Symposium in the series, sponsored by Florida
Atlantic University and the Annals of Mathematics and Artificial
Intelligence.
Due to the pandemic the three-day Symposium will take place online.
ISAIM-2022 will feature invited speakers, special topic sessions, and a
special event: an interview of Judea Pearl by Stephen Wolfram.
Registration is free but you need to register in advance so that you can
get the Zoom links in a timely manner.
KEYNOTE SPEAKERS:
o Noa Agmon (Bar-Ilan University)
o Cynthia Dwork (Harvard University)
o Jerome Lang (LAMSADE, CNRS, Universite Paris-Dauphine, PSL)
o Arun Ross (Michigan State University)
o Ohad Shamir (Weizmann Institute of Science)
o Noam Slonim (IBM Research AI)
o Noga Zaslavsky (MIT)
SPECIAL EVENT:
o Judea Pearl 85th Birthday Celebration
-Interview of Judea Pearl by Stephen Wolfram
SPECIAL TOPIC INVITED SESSIONS:
o In Memory of Naftali Tishby
-Organized by Martin Golumbic (University of Haifa)
o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros (Rutgers University) and Yves Crama (University of Liege)
o Coalition Formation Games
-Organized by Judy Goldsmith (University of Kentucky) and Joerg Rothe (Heinrich-Heine-Universitat Dusseldorf)
o Combinatorial and Geometric Problems in Imaging Sciences
-Organized by Valentin Brimkov (Buffalo State College)
o Formalization in Mathematics
-Organized by Gonzalo A. Aranda-Corral (Universidad de Sevilla) and Francisco Jesus Martin Mateos (Universidad de Sevilla)
o Sequencing, sequential decision making and scheduling
-Organized by Lisa Hellerstein (New York University) and Thomas Lidbetter (Rutgers University)
o Uncertain Reasoning
-Organized by Alessandro Antonucci (Istituto Dalle Molle di Studi sull'Intelligenza Artificiale - IDSIA), Salem Benferhat (University of Artois), and Kamal Premaratne (University of Miami)
ORGANIZERS:
o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Publications & Publicity Chair: Dimitrios I. Diochnos, University of Oklahoma
REGISTRATION:
o Registration is free and required in advance
-Zoom links will be sent by email several days before the symposium
-Visit https://isaim2022.cs.ou.edu/registration.html
Send inquiries and requests to <isaim2022 AT cs.ou.edu>.
Visit http://isaim2022.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