Joint Mathematics Meetings AMS Special Session
Current as of Saturday, January 18, 2025 03:30:04
- Program
- ·
- Deadlines
- ·
- Timetable
- ·
- Inquiries: meet@ams.org
2025 Joint Mathematics Meetings (JMM 2025)
- Seattle Convention Center and the Sheraton Grand Seattle, Seattle, WA
- January 8-11, 2025 (Wednesday - Saturday)
- Meeting #1203
Associate Secretary for the AMS Scientific Program:
Brian D. Boe, brian@math.uga.edu
AMS Special Session on Mathematical Frontiers of Data Science for National Security
-
Wednesday January 8, 2025, 8:00 a.m.-12:00 p.m.
AMS Special Session on Mathematical Frontiers of Data Science for National Security, I
This special session will highlight the role of mathematics in US government operations, policy making, and research. It aims to demonstrate how mathematics and AI are employed in unique government contexts, including the handling of diverse data types, large datasets, and regulatory compliance. The session will provide insights into government-based mathematical careers and research collaborations, targeting a broad audience from students to researchers.
Tahoma 1, Seattle Convention Center Arch at 800 Pike
Organizers:
R W R Darling, National Security Agency rwdarli@nsa.gov
Marcus J Bishop, National Security Agency
John Anthony Emanuello, National Security Agency
-
8:00 a.m.
The problem of authenticity in data science for national security
Marcus J Bishop*, National Security Agency
(1203-10-44406) -
8:30 a.m.
Integrating uncertainty quantification within information extraction for national security
Nicholas Andrews, Johns Hopkins University
Marcus J Bishop, National Security Agency
Timothy M La Fond, Lawrence Livermore National Laboratory
Frederick G Law*, Lawrence Livermore National Laboratory
Adam R Walder, Lawrence Livermore National Laboratory
(1203-62-40482) -
9:00 a.m.
Recent advances in multi-authorship detection
Alex Lu Beckwith*, US Department of Defense
(1203-68-45549) -
9:30 a.m.
Recent advances in the detection of machine-generated text
Rafael Rivera Soto*, Lawrence Livermore National Laboratory
(1203-68-45563) -
10:00 a.m.
Condition-Aware Score Calibration for Speaker Verification
Jonas Borgstrom*, MIT Lincoln Laboratory
(1203-60-40607) -
10:30 a.m.
How to use sheaf toposes for structured temporal data
Daniel Rosiak*, National Institute of Standards and Technology
(1203-18-44238) -
11:00 a.m.
Bayesian Modeling of Self-Exciting Marked Point Processes with Missing Histories
John R Lewis, Sandia National Laboratories
Lyndsay Shand, Sandia National Laboratories
James Derek Tucker*, Sandia National Laboratories
(1203-62-39661) -
11:30 a.m.
Understanding Generative AI Content with Embedding Models
Tony Chiang*, ARPA-H
(1203-46-45327)
-
8:00 a.m.
-
Wednesday January 8, 2025, 1:00 p.m.-5:00 p.m.
AMS Special Session on Mathematical Frontiers of Data Science for National Security, II
This special session will highlight the role of mathematics in US government operations, policy making, and research. It aims to demonstrate how mathematics and AI are employed in unique government contexts, including the handling of diverse data types, large datasets, and regulatory compliance. The session will provide insights into government-based mathematical careers and research collaborations, targeting a broad audience from students to researchers.
Tahoma 1, Seattle Convention Center Arch at 800 Pike
Organizers:
R W R Darling, National Security Agency rwdarli@nsa.gov
Marcus J Bishop, National Security Agency
John Anthony Emanuello, National Security Agency
-
1:00 p.m.
Proofs, Protocols, and Possibilities: Exploring the Math at the Crossroads of AI and Cybersecurity
John Anthony Emanuello*, National Security Agency
(1203-10-42116) -
1:30 p.m.
Topological Data Analysis of Trojan Detector Ensembles
Alden Dima, National Institute of Standards and Technology
Anthony Kearsley, National Institute of Standards and Technology
Melinda Kleczynski*, National Institute of Standards and Technology
(1203-10-45344) -
2:00 p.m.
How do LLMs perform arithmetic and why do they make mistakes
Davis Richard Brown, Pacific Northwest National Laboratory
John Buckheit, Pacific Northwest National Laboratory
Elizabeth Coda*, Pacific Northwest National Laboratory
John Anthony Emanuello, National Security Agency
Tegan Emerson, Pacific Northwest National Laboratory
Michael Henry, Pacific Northwest National Laboratory
Cliff Joslyn, Pacific Northwest National Laboratory
Bill Kay, Pacific Northwest National Laboratory
Brendan Kennedy, Pacific Northwest National Laboratory
Henry Kvinge, Pacific Northwest National Laboratory
Loc Truong, Pacific Northwest National Laboratory
(1203-68-44615) -
2:30 p.m.
Open Applied Topology: A new foundation for research in cybersecurity and the sciences
Gregory Henselman-Petrusek*, Pacific Northwest National Laboratory
(1203-68-44068) -
3:00 p.m.
AI for math and math for AI
Patrick Shafto*, DARPA
(1203-68-40091) -
3:30 p.m.
Secure AI Through Verification, Transparency, and Fairness
Daniel Clouse, DoD
Jessica Langebrake Inman*, Georgia Tech Research Institute
(1203-68-43341) -
4:00 p.m.
Formally Verifying Data Driven Systems: From Medial Devices to Large Language Models
Taisa Kushner*, Galois
(1203-68-44690) -
4:30 p.m.
Subdivision-inspired strategies for sheaf modeling
Michael Robinson*, American University
(1203-18-39028)
-
1:00 p.m.