Here are links to the slides and videos for most of the talks from this workshop:
• Applied Category Theory: Bridging Theory & Practice, March 15–16, 2018, NIST, Gaithersburg, Maryland, USA. Organized by Spencer Breiner and Eswaran Subrahmanian.
They give a pretty good picture of what went on. Spencer Breiner put them up here; what follows is just a copy of what’s on his site.
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 Markov decision processes, corecursively
Alberto Speranzon – Localization and planning for autonomous systems via (co)homology computation
Josh Tan – Indicator frameworks (no slides)
Breakout round report
JB, thanks very, very much for posting this. What an intense experience those two days must have been! As the saying goes, “Like drinking water from a fire hose.” And thanks to the organizers and participants. —- Segueing to a slightly different topic, IMO a message to the Categories mailing list, with a link to http://www.appliedcategorytheory.org/nist-workshop-slides/ would be a very good idea. Would you be willing to post such a message? If for some reason you do not want to, I will see if Bob Rosebrugh would accept such a message from me, but it seems more appropriate for you to submit such a message. Thanks.
That’s a good idea. Actually Spencer Breiner should do it, since it’s his workshop… but I’ll be happy to get some of the fame and glory.
My former student Blake Pollard is working at the National Institute of Standards and Technology. He’s working with Spencer Breiner and Eswaran Subrahmanian, who are big advocates of using category theory to organize design and manufacturing processes. In the spring of 2018 they had a workshop on applied category theory with a lot of honchos from industry and government in attendance—you can see videos by clicking the link.
This spring they’re having another workshop on this topic!