ACT 2023 — Network Theory Talks
Posted by John Baez
It’s not too late to register to join talks on Zoom at Applied Category Theory 2023. It starts on Monday July 31, 2023! But if you miss out, you should be able to watch everything later on YouTube.
Here’s where you can register:
https://www.eventbrite.com/e/applied-category-theory-2023-registration-643212404617
and here’s the program of talks:
https://act2023.github.io/programme.html
Besides talks there will also be tutorials:
Monday (simultaneously):
David Jaz Myers, Lenses
Paolo Perrone, Markov categories
Tuesday (simultaneously):
Dorette Pronk, Double categories
Evan Patterson and Owen Lynch, AlgebraicJulia
The conference is big, so let me just point out a few talks connected to network theory.
I’ll talk about “Software for compositional modeling in epidemiology”. This project uses software based on category theory to make it easier to assemble big models of infectious disease—but our techniques work for other applications too. We’re using AlgebraicJulia, a computing framework based explicitly on categories—so check out Evan Patterson’s tutorial on that.
Some talks are based on work at last summer’s American Mathematical Society research program. For example James Fairbanks is talking about “A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks” and Sophie Libkind is speaking on “Additive invariants of open Petri nets”, both based on projects I suggested there.
Also, Evan Patterson is giving a talk on “Structured and decorated cospans from the viewpoint of double category theory”, which may give new ideas for how AlgebraicJulia should handle networks. And if you don’t already know about double categories, Dorette Pronk’s tutorial should help.
A lot of good stuff!
Re: ACT 2023 — Network Theory Talks
Will the tutorials also be posted on YouTube?