Some of the talks at Applied Category Theory 2018 were videotaped by the Statebox team. You can watch them on YouTube:
• David Spivak, A higher-order temporal logic for dynamical systems. Book available here and slides here.
• Fabio Zanasi and Bart Jacobs, Categories in Bayesian networks. Paper available here. (Some sound missing; when you hit silence skip forwards to about 15:00.)
• Bob Coecke and Aleks Kissinger, Causality. Paper available here.
• Samson Abramsky, Games and constraint satisfaction, Part 1 and Part 2. Paper available here.
• Dan Ghica, Diagrammatic semantics for digital circuits. Paper available here.
• Kathryn Hess, Towards a categorical approach to neuroscience.
• Tom Leinster, Biodiversity and the theory of magnitude. Papers available here and here.
• John Baez, Props in network theory. Slides available here, paper here and blog article here.
Hey John,
Could up update the youtube link to
https://www.youtube.com/channel/UCUM4xJKlyRkN7po549G0Luw/live
This link always points at the live feed, the current link is the automatically archived recording from this morning.
All videos will appear in this playlist after the live broadcast.
Cheers,
Jelle
I’ve updated this article so it links to all the talks that were recorded, along with papers and/or slides for some.
Thanks, I’ve updated the titles & descriptions to match yours. Also updated the playlist with all recordings: https://www.youtube.com/playlist?list=PLE2y3n8EQ6VywrcixgTKyGHFI4A68FYSk
It was a great workshop, good seeing everyone!