BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:Software for Compositional Modeling in Epidemiolog
y - John Baez (University of California\, Riversid
e)
DTSTART:20231020T100000Z
DTEND:20231020T105000Z
UID:TALK5134AT
URL:/talk/index/5134
DESCRIPTION:Mathematical models of disease are important and w
idely used\, but building and working with these m
odels at scale is challenging. Many epidemiologis
ts use “stock and flow diagrams” to describe ordin
ary differential equation (ODE) models of disease
dynamics. This talk introduces the mathematics of
stock and flow diagrams and two software tools fo
r working with them. The first\, called StockFlow
.jl\, is based on category theory and written in A
lgebraicJulia. The second\, called ModelCollab\,
runs on a web browser and serves as a graphical us
er interface for StockFlow.jl. Modelers often rega
rd diagrams as an informal step toward a mathemati
cally rigorous formulation of a model in terms of
ODEs. However\, stock and flow diagrams have a pr
ecise mathematical syntax. Formulating this synta
x using category theory has many advantages\, but
I will focus on three: functorial semantics\, mode
l composition\, and model stratification. This is
joint work with Xiaoyan Li\, Sophie Libkind\, Nat
haniel Osgood\, Evan Patterson and Eric Redekopp.
LOCATION:LG12\, Old Gym
CONTACT:George Kaye
END:VEVENT
END:VCALENDAR