BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Software for Compositional Modeling - John Baez\, University of Ca
 lifornia Riverside
DTSTART:20231018T130000Z
DTEND:20231018T140000Z
UID:TALK207502@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:Mathematical models of disease are important and widely used\,
  but building and working with these models at scale is challenging.  Many
  epidemiologists use “stock and flow diagrams” to describe ordinary di
 fferential equation (ODE) models of disease dynamics.   This talk introduc
 es the mathematics of stock and flow diagrams and two software tools for w
 orking with them.  The first\, called StockFlow.jl\, is based on category 
 theory and written in AlgebraicJulia.  The second\, called ModelCollab\, r
 uns on a web browser and serves as a graphical user interface for StockFlo
 w.jl. Modelers often regard diagrams as an informal step toward a mathemat
 ically rigorous formulation of a model in terms of ODEs.   However\, stock
  and flow diagrams have a precise mathematical syntax. Formulating this sy
 ntax using category theory has many advantages\, but I will focus on three
 : functorial semantics\, model composition\, and model stratification.  Th
 is is joint work with Xiaoyan Li\, Sophie Libkind\, Nathaniel Osgood\, Eva
 n Patterson and Eric Redekopp.
LOCATION:LT1\, Computer Laboratory
END:VEVENT
END:VCALENDAR