Formal scientific modeling: a case study in global health
January 12 to January 16, 2026
American Institute of Mathematics, Pasadena, CA

Organizers:
Nina Fefferman, Tim Hosgood, and Mary Lou Zeeman

Description:
This workshop, sponsored by AIM, the NSF, the Topos Institute, and
the US NSF Center for Analysis and Prediction of Pandemic Expansion,
will consider how category-theoretic foundations for modeling as
decision support for multidisciplinary collaboration might advance
insights into pandemic science. 

Deadline:
August 12, 2025  

Details:
http://aimath.org/workshops/upcoming/formalmodel