Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings
Erscheinungsjahr 2026
ISBN: 978-3-032-29729-7
Verlag: Springer

Buch, Englisch, Band 16624, 235 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 382 g

Reihe: Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1–2, 2026.

The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum including new approaches to hypergraphs, improvements to the understanding of conflict analysis and parallel transformations, verification of graph transformation and of programs using graphs, and advancements in graphs for neural applications and stochastic rewriting.

Zielgruppe

Research

Autoren/Hrsg.

Archibald, Blair

Semeráth, Oszkár

Fachgebiete

• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Informationstheorie, Kodierungstheorie
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Algorithmen & Datenstrukturen
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik Mathematik Mathematik Allgemein Diskrete Mathematik, Kombinatorik
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering

Inhaltsverzeichnis

.- Technical Papers.

.- LR-Based Parsing of Hypergraph Languages: a Positional Grammar Approach.

.- Conditional Borrowing Hyperedge Replacement.

.- Higher-order Graph Transformation Utilizing Diagram Categories.

.- Parallel Transformations as Colimits.

.- Conflict Essences for Transformation Rules with Nested Application Conditions.

.- Formalising and Verifying Graph Programs with Higher-Order Logic.

.- Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars.

.- CGACell: A Cellular Automata-Based Graph Transformation Framework for Neural Pooling.

.- From Graph Rewriting to Markov Automata: Mass-Action Semantics for Stochastic and Probabilistic Systems.

.- Tool and Vision Papers.

.- GHL: An Extensible Library for Flexible and Performant Graph Pattern Matching and Rewriting.

.- EvolveGDB: Model-Driven Graph Schema Transformation.

.- User-defined Operations in GROOVE.

.- Benchmark First: Defining Tasks for Graph Transformation Learning.