Thanks again to all of the participants at the NIST workshop on applied category theory, held March 15th & 16th.
Below are links to the slides and videos for most of the talks from the meeting. Unfortunately, the end of Dusko Pavlovic’s talk, as well as Ryan Wisnesky’s and Steve Huntsman’s were lost due to a technical error. You can also find a Youtube playlist with all of the videos here.
Introduction to NIST:
Ram Sriram – NIST and Category Theory
Spencer Breiner – Introduction
Invited talks:
Bob Coecke – From quantum foundations to cognition via pictures
Dusko Pavlovic – Security Science in string diagrams (partial video)
John Baez – Compositional Design and Tasking of Networks (Part 1)
John Foley – Compositional Design and Tasking of Networks (Part 2)
David Spivak – A higher-order temporal logic for dynamical systems
Lightning Round Talks:
Ryan Wisnesky – Categorical Databases (no video)
Steve Huntsman – Towards an operad of goals (no video)
Bill Regli – Disrupting Interoperability (no slides)
Evan Patterson -Applied Category Theory in Data Science
Brendan Fong – Data Structures for Network Languages
Stephane Dugowson – A short introduction to a general theory of interactivity
Michael Robinson – Sheaf Methods for Inference
Cliff Joslyn – Seeking a Categorical Systems Theory via the Category of Hypergraphs
Helle Hvid Hansen – Long-Term Values in MDP’s, Corecursively
Alberto Speranzon – Localization and Planning for Autonomous Systems Via (Co)homology Computation
Josh Tan – Indicator Frameworks (no slides)
Breakout round report