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

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

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

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

Evan Patterson: (Co)relational computing in CatLab: The operad of UWDs and its algebrasSee more

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

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

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

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

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

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

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

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

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