GReTA seminar: The Topological Approach to Spatial Model Checking
1:16:41
GReTA seminar: Past, future, what's the difference?
1:29:25
GReTA seminar: Higher-Arity Algebra via Hypergraph Rewriting
1:11:46
GReTA seminar: A graphical language for programming with graph rewriting
1:21:31
GReTA seminar: Multilevel Typed Graph Transformations
1:12:40
GReTA seminar: In the Groove
1:27:36
GReTA seminar: "On Over-Squashing and Expressivity: Can GNNs Mix Variables?"
54:36
GReTA seminar: "Comprehensive Systems for Software Interoperability Problems"
1:02:20