Applied Category Theory Meeting at UCR (Part 2)

Joe Moeller and I have finalized the schedule of this meeting on applied category theory:

• Applied Category Theory, special session of the Fall Western Sectional Meeting of the AMS, U. C. Riverside, Riverside, California, 9–10 November 2019.

It’s going to be a really cool meeting, with talks on everything from brakes to bicategories, from quantum physics to social networks, and more — with the power of category theory as a unifying theme!

You can get information on registration, hotels and such here. If you’re coming, you might also want to attend Eugenia Cheng‘s talk on the afternoon of Friday November 8th.   I’ll announce the precise title and time of her talk, and also the location of all the following talks, as soon as I know!

In what follows, the person actually giving the talk has an asterisk by their name.

Saturday November 9, 2019, 8:00 a.m.-10:50 a.m.

• 8:00 a.m. Fibrations as generalized lens categories. David I Spivak*, MIT
• 9:00 a.m. Supplying bells and whistles in symmetric monoidal categories. Brendan Fong*, Massachusetts Institute of Technology David I Spivak, Massachusetts Institute of Technology
• 9:30 a.m. Right adjoints to operadic restriction functors. Gabriel C. Drummond-Cole, IBS Center for Geometry and Physics Philip Hackney*, Department of Mathematics, University of Louisiana at Lafayette
• 10:00 a.m. Duality of relations. Alexander Kurz*, Chapman University
• 10:30 a.m. A synthetic approach to stochastic maps, conditional independence, and theorems on sufficient statistics. Tobias Fritz*, Perimeter Institute for Theoretical Physics

Saturday November 9, 2019, 3:00 p.m.-5:50 p.m.

• 3:00 p.m. Constructing symmetric monoidal bicategories functorially. Michael Shulman*, University of San Diego Linde Wester Hansen, University of Oxford
• 3:30 p.m. Structured cospans. Kenny Courser*, University of California, Riverside John C. Baez, University of California, Riverside and Centre for Quantum Technologies, National University of Singapore
• 4:00 p.m. Generalized Petri nets. Jade Master*, University of California Riverside
• 4:30 p.m. Formal composition of hybrid systems. Jared Culbertson, Air Force Research Laboratory Paul Gustafson*, Wright State University Dan Koditschek, University of Pennsylvania Peter Stiller, Texas A&M University
• 5:00 p.m. Strings for Cartesian bicategories. M. Andrew Moshier*, Chapman University
• 5:30 p.m. Defining and programming generic compositions in symmetric monoidal categories. Dmitry Vagner*, Los Angeles, CA

Sunday November 10, 2019, 8:00 a.m.-10:50 a.m.

• 8:00 a.m. Mathematics for second quantum revolution. Zhenghan Wang*, UCSB and Microsoft Station Q
• 9:00 a.m. A compositional and statistical approach to natural language. Tai-Danae Bradley*, CUNY Graduate Center
• 9:30 a.m. Exploring invariant structure in neural activity with applied topology and category theory. Brad Theilman*, UC San Diego Krista Perks, UC San Diego Timothy Q Gentner, UC San Diego
• 10:00 a.m. Of monks, lawyers and villages: new insights in social network science. Nina Otter*, Mathematics Department, UCLA Mason A Porter, Mathematics Department, UCLA
• 10:30 a.m. Functorial cluster embedding. Steve Huntsman*, BAE Systems FAST Labs

Sunday November 10, 2019, 2:00 p.m.-4:50 p.m.

• 2:00 p.m. Quantitative equational logic. Prakash Panangaden*, School of Computer Science, McGill University Radu Mardare, Strathclyde University Gordon D. Plotkin, University of Edinburgh
• 3:00 p.m. Brakes: an example of applied category theory. Eswaran Subrahmanian*, Carnegie Mellon University/NIST
• 3:30 p.m. Intuitive robotic programming using string diagrams. Blake S Pollard*, National Institute of Standards and Technology
• 4:00 p.m. Metrics on functor categories. Vin de Silva*, Department of Mathematics, Pomona College
• 4:30 p.m. Hausdorff and Wasserstein metrics on graphs and other structured data. Evan Patterson*, Stanford University