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

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

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

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

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

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

GReTA-ExACT session #1: "SMTCoq: the power of SMT solving in Coq"See more

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

GReTA seminar #: "★★★ GReTA Special Event ★★★ Compositional Modeling with Decorated Cospans"See more

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

Nicolas Behr - Towards Executable Applied Category Theory in CoqSee more

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

GReTA seminar #12: "Computational Categorical Algebra with Catlab"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 #7: "Fast Graph Programs"See more

GReTA seminar #5: "Confluence of Graph Transformation"See more

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

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