Logic List Mailing Archive

CfR: Marking the 35th Anniversary of AI and Math -- an AMS special session, 8 jan 2025, Seattle (USA)

Come and join us at the 2025 (JMM) Joint Mathematics Meetings in Seattle. Our session will meet on the opening day of the JMM, which includes the AMS, MAA and a dozen other math meetings and big lectures (Jan 8-11, 2025). It will keep you very busy! A wealth of information can be found on the links from the home page for this meeting:
  https://www.jointmathematicsmeetings.org/meetings/national/jmm2025/2314_program.html

                              35th Anniversary of AI and Math
                       Wednesday, January 8, 2025: 8:30 AM - 17:00 PM
                                    AMS Special Session

Celebrating the founding in 1990 of the biennial Int'l Symposium on AI and Math (ISAIM), selected past speakers, chairs, and colleagues will present recent research, with a particular emphasis on the foundations of AI and mathematical methods. Participants from a variety of disciplines will provide a unique forum for scientific exchange to foster new areas of applied mathematics and strengthen the scientific underpinnings of AI.

We look forward to this event as a reunion of the many friends who have participated in ISAIM over these 3 and a half decades. Simply register for the JMM at the link above – Registration and hotel reservations are open.

The organizers: 

    Prof. Martin Charles Golumbic, Prof. Frederick Hoffman, Dr. Maria Provost

The Program:

    In what follows when multiple names are shown per talk, then the confirmed speaker is presented between asterisks.

    Bayesian Strategic Classification
        Lee Cohen, Stanford; *Saeed Sharifi-Malvajerdi*, TTIC; Kevin Stangl, TTIC; Ali Vakilian, TTIC; Juba Ziani, Georgia Tech

    Second Order Regret Bounds for Contextual Bandits with Function Approximation
        Aldo Pacchiano, Boston University

    Digital Transformation of Mathematics. If? When? How?
        *David Donoho*, Stanford University; Matan Gavish, Hebrew Univ. of Jerusalem

    On the Stochastic Boolean Function Evaluation Evaluation Problem for Read-Once Formulas
        Lisa Hellerstein, New York University

    Visualizations of Search Behavior for Solving Constraint Satisfaction Problems
        Berthe Y. Choueiry, University of Nebraska-Lincoln

    Advances in AI through Mathematical Formalization: From Human-Like Decision Making to Probabilistic Reasoning
        Kristen Brent Brent Venable, University of West Florida and IHMC

    Meta Co-Training: Two Views are Better than One
        Jay C. Rothenberger and *Dimitrios I. Diochnos*, The University of Oklahoma

    35 Years of AI and Math
        *Martin Golumbic*, Univ. of Haifa; *Frederick Hoffman*, Florida Atlantic University

    Math + AI = AGI
        Sergei Gukov, California Institute of Technology

    Automated Identification of Cultural Norms Through Multimodal Extraction, Interpretation, and Knowledge Merging
        Leora Morgenstern, SRI Future Concepts Division (formerly PARC)

    Automated Reasoning for the Discrete Mathematician
        Bernardo Subercaseaux, Carnegie Mellon University

    Some thoughts on Math and AI
        Alex Kontorovich, Rutgers University

    Fast Rates in Pool-Based Batch Active Learning
        Claudio Gentile, Google Research

    Error-correcting codes, deep learning and machine learning interpretability
        Gyorgy Turan, University of Illinois at Chicago and University of Szeged

    Economics and Computation: The Second Edition
        Jorg Rothe, HHU Düsseldorf

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php