GCM 2020 will be held as an online workshop on June 24, 2020 using Zoom as a video-conferencing platform.
Details on attending the online-workshop will be made available after registration.
All times are MEST times
Note that all paper sessions, the opening, and the closing take place in Zoom meeting 911 4949 1486, whereas all breaks take place in Zoom meeting 940 4966 5357.
See our "How to attend" for information how to attend the workshop and the sessions.
Nils Weidmann, Anthony Anjorin and James Cheney. VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
Christian Sandmann. Graph repair and its application to meta-modelling
Okan Özkan. Modeling Adverse Conditions in the Framework of Graph Transformation Systems
Dominique Duval, Rachid Echahed and Frédéric Prost. An Algebraic Graph Transformation Approach for RDF and SPARQL
Hans-Jörg Kreowski and Aaron Lye. Graph Surfing in Reaction Systems from a Categorical Perspective
Andrea Corradini, Maryam Ghaffari Saadat and Reiko Heckel. Encoding NACs in Graph Grammars using Complementation
Tikhon Pshenitsyn. Weak Greibach normal form for hyperedge replacement grammars
Nicolas Behr, Maryam Ghaffari Saadat and Reiko Heckel. Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping
Russ Harmer and Eugenia Oshurko. Reversibility and composition of rewriting in hierarchies
Brian Courtehoute and Detlef Plump. A Fast Graph Program for Computing Minimum Spanning Trees
Gia S. Wulandari and Detlef Plump. Verifying Graph Programs with First-Order Logic
Graham Campbell, Jack Romö and Detlef Plump. The Improved GP 2 Compiler