GReTA seminar #15: "The Logic of Hypergraphs"

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

GReTA seminar #9: "Formal Graph Language Theory & Fusion Grammars"See more

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

GReTA seminar #1: "Graph Transformation Meets Logic" by Barbara KönigSee more

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

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

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

GReTA seminar #18: "Combinatorial maps: transformations and application to geometric modeling"See more

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

GReTA seminar #29: "Tutorial on Graph Transformation Concepts and Applications - Part 3"See more

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

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

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

ICGT Session 1 (Keynote)See more

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

GReTA Special Event: "Graph Rewriting as a Foundation for Science and Technology (and the Universe)"See more

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

GReTA seminar #14: "Global Order Routing on Exchange Networks"See more