Dear Category Theorists - There was a great workshop last month: Applied Category Theory: Bridging Theory & Practice, March 15 - 16, 2018, National Institute of Standards and Technology, Gaithersburg, Maryland, USA. Organized by Spencer Breiner and Eswaran Subrahmanian. Now Spencer has made slides and videos for most of the talks available: http://www.appliedcategorytheory.org/?p=* Here are the talk titles, which give a flavor of the event: Ram Sriram - NIST and category theory Spencer Breiner - Introduction Bob Coecke - From quantum foundations to cognition via pictures Dusko Pavlovic - Security science in string diagrams 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 Ryan Wisnesky - Categorical databases Steve Huntsman - Towards an operad of goals Bill Regli – Disrupting interoperability 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 Breakout round report Best, John Baez [For admin and other information see: http://www.mta.ca/~cat-dist/ ]