An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Spencer Breiner, Eswaran Subrahmanian, Joseph Moeller, Priyaa Varshinee Srinivasan
The focus of this workshop is to foster the development of applications of category theory to systems engineering and design. We are interested in bringing
Category theory (CT) is a branch of mathematics concerned with the representation and composition of structured relationships. Recent interest in systems
Spencer Breiner, Eswaran Subrahmanian, John Dusel, John Foley
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine readable designs increases