Daniel Cicala: Rewriting Structured Cospans

Daniel Cicala: Rewriting Structured Cospans

John Baez: Structured cospans and Petri netsSee more

John Baez: Structured cospans and Petri nets

John Baez - Structured versus Decorated Cospans - CaCS2021See more

John Baez - Structured versus Decorated Cospans - CaCS2021

ACT@UCR Seminar: Structured Cospans and Double Categories - John BaezSee more

ACT@UCR Seminar: Structured Cospans and Double Categories - John Baez

Sophie Libkind: Unifying open dynamical systems: An algebra of resource sharing machinesSee more

Sophie Libkind: Unifying open dynamical systems: An algebra of resource sharing machines

Structured versus Decorated Cospans - John BaezSee more

Structured versus Decorated Cospans - John Baez

Micah Halter and Evan Patterson: Compositional epidemiological modeling using structured cospansSee more

Micah Halter and Evan Patterson: Compositional epidemiological modeling using structured cospans

John Baez: Structured vs Decorated CospansSee more

John Baez: Structured vs Decorated Cospans

Sackler Conference 2018 - Daniel HolzSee more

Sackler Conference 2018 - Daniel Holz

APSCol 060315See more

APSCol 060315

CppCon 2018: Marc Gregoire “Writing Standard Library Compliant Data Structures and Algorithms”See more

CppCon 2018: Marc Gregoire “Writing Standard Library Compliant Data Structures and Algorithms”

CppCon 2016: Bob Steagall “Lightweight Object Persistence With Relocatable Heaps in Modern C++"See more

CppCon 2016: Bob Steagall “Lightweight Object Persistence With Relocatable Heaps in Modern C++'

Compositional Graphical LogicSee more

Compositional Graphical Logic

The Art and Science of Board CompositionSee more

The Art and Science of Board Composition

Concurrency theorems for non-linear rewriting theories (@ICGT2021)See more

Concurrency theorems for non-linear rewriting theories (@ICGT2021)

Actual