Applied Category Theory Meeting at UCR (Part 2)
Posted by John Baez
Joe Moeller and I have finalized the schedule of our 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 really cool, 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! Among other things, fellow n-Café host Mike Shulman is going to say how to get maps between symmetric monoidal bicategories from maps between symmetric monoidal double categories.
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. You can click on titles of talks to see the abstracts.
Saturday November 9, 2019, 8:00 a.m.-10:50 a.m.
- 8:00 a.m.
Fibrations as generalized lens categories.
David I Spivak*, Massachusetts Institute of Technology - 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 - :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