We had a special session on applied category theory here at UCR:

• Applied category theory, Fall Western Sectional Meeting of the AMS, 4-5 November 2017, U.C. Riverside.

A bunch of people stayed for a few days afterwards, and we had a lot of great discussions. I wish I could explain everything that happened, but I’m too busy right now. Luckily, even if you couldn’t come here, you can now see slides of almost all the talks… and videos of many!

Click on talk titles to see abstracts. For multi-author talks, the person whose name is in boldface is the one who gave the talk. For videos, go here: I haven’t yet created links to all the videos.

### Saturday November 4, 2017

9:00 a.m.A higher-order temporal logic for dynamical systems — talk slides.

**David I. Spivak**, MIT.

10:00 a.m.

Algebras of open dynamical systems on the operad of wiring diagrams — talk slides.

**Dmitry Vagner**, Duke University

David I. Spivak, MIT

Eugene Lerman, University of Illinois at Urbana-Champaign

10:30 a.m.

Abstract dynamical systems — talk slides.

**Christina Vasilakopoulou**, UCR

David Spivak, MIT

Patrick Schultz, MIT

3:00 p.m.

Decorated cospans— talk slides.

**Brendan Fong**, MIT

4:00 p.m.

Compositional modelling of open reaction networks — talk slides.

**Blake S. Pollard**, UCR

John C. Baez, UCR

4:30 p.m.

A bicategory of coarse-grained Markov processes — talk slides.

**Kenny Courser**, UCR

5:00 p.m.

A bicategorical syntax for pure state qubit quantum mechanics — talk slides.

**Daniel M. Cicala**, UCR

5:30 p.m.

Open systems in classical mechanics — talk slides.

**Adam Yassine**, UCR

### Sunday November 5, 2017

9:00 a.m.

Controllability and observability: diagrams and duality — talk slides.

**Jason Erbele**, Victor Valley College

9:30 a.m.

Frobenius monoids, weak bimonoids, and corelations — talk slides.

**Brandon Coya**, UCR

10:00 a.m.

Compositional design and tasking of networks.

**John D. Foley**, Metron, Inc.

John C. Baez, UCR

Joseph Moeller, UCR

Blake S. Pollard, UCR

10:30 a.m.

Operads for modeling networks — talk slides.

**Joseph Moeller**, UCR

John Foley, Metron Inc.

John C. Baez, UCR

Blake S. Pollard, UCR

2:00 p.m.

Reeb graph smoothing via cosheaves — talk slides.

**Vin de Silva**, Department of Mathematics, Pomona College

3:00 p.m.

Knowledge representation in bicategories of relations — talk slides.

**Evan Patterson**, Stanford University, Statistics Department

3:30 p.m.

The multiresolution analysis of flow graphs — talk slides.

**Steve Huntsman**, BAE Systems

4:00 p.m.

Data modeling and integration using the open source tool Algebraic Query Language (AQL) — talk slides.

**Peter Y. Gates**, Categorical Informatics

**Ryan Wisnesky**, Categorical Informatics