Sadly, this workshop has been cancelled due to the coronavirus pandemic. It may be postponed to a later date.
My former student Blake Pollard is working at the National Institute of Standards and Technology. He’s working with Spencer Breiner and Eswaran Subrahmanian, who are big advocates of using category theory to organize design and manufacturing processes. In the spring of 2018 they had a workshop on applied category theory with a lot of honchos from industry and government in attendance—you can see videos by clicking the link.
This spring they’re having another workshop on this topic!
• Applied Category Theory Workshop, April 8-9, 2020, National Institute of Standards and Technology, Gaithersburg, Maryland. Organized by Spencer Breiner, Blake Pollard and Eswaran Subrahmanian.
The focus of this workshop in on fostering the development of tooling and use-cases supporting the applied category theory community. We are particularly interested in bringing together practitioners who are engaged with susceptible domains as well as those involved in the implementation, support, and utilization of software and other tools. There will be a number of talks/demos showcasing existing approaches as well as ample time for discussion.
Here are the speakers listed so far:
• John Baez, University of California, Riverside
• Arquimedes Canedo, Siemens
• Daniel Cicala, New Haven University
• James Fairbanks, Georgia Tech Research Institute
• Jules Hedges, Max Planck Institute for the Mathematical Sciences
• Jelle Herold, Statebox
• Evan Patterson, Stanford University
• Qunfen Qi, University of Huddersfield
• Christian Williams, University of California, Riverside
• Ryan Wisnesky, Conexus.ai
I’ll also be giving a separate talk on “ecotechnology” at NIST on Friday April 10th; more about that later!
John
As I have previously confessed, I am not even a Neanderthal when it comes to the detail, but at a high level I think this type of structural or schematic application of CT in a real commercial setting is actually a major triumph. I am pleased to see that Blake et al have got interesting and important work based on CT. I walked out of Ross Street’s advanced algebra course (a thinly veiled front for CT) for Fourier theory….such is life. It was the 70s.
Cheers
Peter
I wonder if self loops would be involved. After all, at the most basic level, software = (program, software).
This workshop has been cancelled due to the coronavirus pandemic. It may be postponed to a later date.