NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.
Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.
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