Formal scientific modeling: a case study in global health

ct.category-theory
Start Date
2026-01-12
End Date
2026-01-16
Institution
American Institute of Mathematics
City
Pasadena
Country
United States
Meeting Type
workshop
Homepage
https://aimath.org/workshops/upcoming/formalmodel/
Contact Name
AIM
Created
4/15/25, 8:52 PM
Modified
4/15/25, 8:52 PM

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. Multidisciplinary modeling is extremely useful and also extremely difficult (for many reasons). By taking the very concept of "building a model" as itself a sort of model, and phrasing this in the formal mathematical language of (double) category theory, we can develop systems that greatly improve our capabilities for collaborative modeling.

The workshop will bring together a wide range of research communities: category theory, software engineering, dynamical systems, data science, epidemiology, infectious disease modeling, medical geography, behavioral psychology, social and urban networks, and economics.

Problems?

If you notice a problem with this entry, please contact the curators by email.