**Chairs:** C. Cirstea, F. Gadducci, H. Schlingloff
**Past Chairmen:** M. Roggenbach, L. SchrÃ¶der, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski

Sat, 07 July 2018 at 09:30 am in Royal Holloway, United Kingdom

Joint work with: Fernando Orejas, Maryam Ghaffari Saadat

Abstract: A Potentially Inconsistent Graph, or PIG, is a symbolic attributed graph with a potentially inconsistent set of attribute constraints. Semantically it stands for a set of potential graphs, each corresponding to a maximally consistent subset of constraints representing one of several alternative design choices. We discuss a notion of morphism of such graphs and their suitability to define a new notion of symbolic graph transformation to develop a theory of independence and confluence.

Slides