Workshop Announcement:

----------------------------------------------------------------
   Formal scientific modeling: a case study in global health
----------------------------------------------------------------

                January 12 to January 16, 2026

  American Institute of Mathematics Research Conference Center

                     Pasadena, California

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


------------
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. 

The workshop is organized by
Nina Fefferman, Tim Hosgood, and Mary Lou Zeeman.

For more details please see the workshop announcement page:
http://aimath.org/workshops/upcoming/formalmodel

Space and funding is available for a few more participants.
If you would like to participate, please apply by filling
out the on-line form (available at the link above) no later
than August 12, 2025.

--------------------------------
AIM Research Conference Center:
--------------------------------

The American Institute of Mathematics (AIM) hosts focused
workshops in all areas of the mathematical sciences. AIM
focused workshops are distinguished by their emphasis on
a specific mathematical goal, such as making progress on a
significant unsolved problem, understanding the proof of an
important new result, or investigating the convergence between
two distinct areas of mathematics.

For more information, please visit
http://www.aimath.org/workshops/upcoming/