Applied Category Theory at NIST

Applied Category Theory at NIST

[John Baez]

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/ ]