Applied Category Theory at NIST (Part 2)

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

 

Emilie Purvine – A Category-theoretical Investigation of the Type Hierarchy for Heterogeneous Sensor Integration

 

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