GReTA seminar: "Rewriting for Monoidal Closed Categories"

GReTA seminar: "Rewriting for Monoidal Closed Categories"See more

GReTA seminar #12: "Computational Categorical Algebra with Catlab"See more

GReTA seminar #30: "Recent Developments in TGG-based Model Synchronisation"See more

GReTA seminar #15: "The Logic of Hypergraphs"See more

GReTA seminar #11: "Rewriting Modulo Symmetric Monoidal Structure"See more

GReTA seminar #7: "Fast Graph Programs"See more

GReTA seminar #10: "Hypergraph Rewriting and the Wolfram Model"See more

GReTA seminar #26: "Quantum Causal Graph Dynamics"See more

GReTA seminar #8: "Composition-based Graph Rewriting"See more

GReTA seminar #20: "GReTA-ExACT: towards Executable Applied Category Theory"See more

GReTA seminar #32: "PBPO+: A Unifiying Theory for Quasitoposes"See more

GReTA seminar #24: "Tutorial on Graph Transformation Concepts and Applications"See more

GReTA seminar #22: "Supporting Software Variability with Graph Transformations"See more

GReTA seminar #17: "Soundness for Automatic Differentiation via String Diagrams"See more

GReTA seminar #25: "Rule-based Models of Epidemics"See more

GReTA seminar #2: "Chemical Graph Transformation and Applications" by J. L. Andersen and D. MerkleSee more

GReTA seminar #19: "Model Transformation Languages and Performance Engineering"See more

GReTA seminar #23: "Request-Guarantee Agents and their Check-Transform-Enforce Processes"See more

GReTA seminar #21: "GRAPEpress - A Computational Notebook for Graph Transformations"See more