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!
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!