ACT 2023 Industry Session

David Spivak from Topos Institute

Alan Hylton from NASA:

Towards a theory for the solar system internet

Sustainability of accelerating space presence will depend on increasing the scalability of communications capability; in a word, networking. The so-called Solar System Internet represents a vast generalization of the Internet as we know it, and to prevent any plateauing of the technology we need a suitable theory. Efforts to model the time-varying, mobile, heterogeneous system of space systems has led to a natural application of mathematics from algebraic geometry, algebraic topology, and beyond. In this talk we will focus on how space communications motivated us to consider sheaf-theoretic constructions with a nod to other active areas of research to explain our progress.

Spencer Breiner from National Institute of Standards and Technology (NIST):

You say you are from NIST?

Brandon Baylor from Chevron:

A Compositional approach to complex systems

Brandon Baylor and Esteban Monterro from Holon Computing Labs:

Engineering a collective computer

Bob Coecke from Quantinuum:

ZX-calculus at Quantinuum and in quantum industry

We give an overview of the recent developments and many uses of ZX-calculus in quantum industry, spanning compilation, education, publication, error-correction, and in particular the use in photonic quantum computing, which, in fact, is the origin of ZX-calculus.

Ryan Wisnesky from Conexus:

Conexus AI: an overview

In this talk we describe the past, present, and future of Conexus AI, summarizing how we understand databases as co-presheaves and giving an overview of the kind of data-integration-related category theory we perform for clients.

Stanislav Kapulkin from Viete

Closed cartesian (monoidal) categories could be represented in a 2-d plane in a form of string diagrams or dual to them commutative diagrams. Viete will demonstrate an interactive editor for closed Cartesian categories with support for nested (hierarchical) diagrams and automatic arrangement of elements based on the structure of the diagrams. Several solutions, such as linking mechanism, imports, folding, and others, allow working with large projects within the editor. This paves the way for using diagrams inside the editor as an industrial programming language.

Philipp Zahn from 20 Squares:

Compositional economic modeling

At 20squares we do composable economic modelling. We rely on our own software framework that is based on compositional game theory. In this presentation we will discuss the role of compositionality in our approach and what it takes to bring abstract nonsense to the market.