Logic List Mailing Archive

ISAIM 2022: AI & Mathematics, Virtual

3-5 Jan 2022

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)

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 and special topic sessions. 
Registration is free but you need to register in advance so that you can 
get the Zoom links on 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 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


Send inquiries and requests to <isaim2022 at cs DOT ou DOT 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