Aims

Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in several areas of science including computer science, life sciences, business processes, etc. Graph computation models (GCM) constitute a class of very high level models where graphs are first-class citizens. They, thus, generalize classical computation models based on strings (e.g., Chomsky's grammars) or on trees (e.g., Term rewrite systems). Their mathematical foundations, in addition to their visual feature, contribute to facilitate specification, validation and analysis of complex systems. A variety of computation models have been developed yet using graphs and rule-based graph transformations. These models include features for programming languages and systems, paradigms for software development, concurrent calculi, local computations and distributed algorithms, biological or chemical computations, etc. The aim of the GCM workshop series is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques, as well as their applications and implementations.

Topics

Foundations :
* Models of graph transformation
* Parallel, concurrent, and distributed graph transformations
* Term graph rewriting
* Logics on graphs and graph transformations
* Formal graph languages
* Analysis and verification of graph transformation systems
* foundations of programming languages

Applications :
* Software architecture
* Software validation
* Software evolution
* Visual programming
* Security models
* Implementation of programming languages
* Rule-based systems
* Workflow and business processes
* Model-driven engineering
* Service-oriented applications
* Bioinformatics and system biology
* Case-studies