Abstract:Graphs are used as models in many areas of computer science and computer engineering. For example graphs are used to represent syntax, control and data flow, dependency, state spaces, models such as UML and other types of domain-specific models, and social network graphs. In all of these examples, the graph serves as an intuitive yet mathematically precise foundation for many purposes, both in theory building as well as in practical applications. Graph-based models serve as an abstract communication medium and are used to describe various concepts and phenomena. Moreover, once such graph-based models are constructed, they can be analyzed and transformed to verify the correctness of static and dynamic properties, to discover new properties, to deeply study a particular domain of interest or to produce new equivalent and/or optimized versions of graph-based models. The Graphs as Models (GaM) workshop series combines the strengths of two pre-existing workshop series: GT-VMT (Graph Transformation and Visual Modelling Techniques) and GRAPHITE (Graph Inspection and Traversal Engineering), but also solicits research from other related areas, such as social network analysis. GaM offers a platform for exchanging new ideas and results for active researchers in these areas, with a particular aim of boosting inter- and transdisciplinary research exploiting new applications of graphs as models in any area of computational science. This year (2017), the third edition of the GaM workshop was co-located with the European Joint Conferences on Theory and Practice of Software 2017 (ETAPS'17), held in Uppsala, Sweden.

Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering

Proceedings 2nd Workshop on Formal Methods in the Development of Software

Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems

Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures

Proceedings Second Workshop on Synthesis

Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems

Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures

An MDE-based Method for Bridging Different Design Notations

Proceedings Eighth Symposium on Working Formal Methods

AlgebraicSystems: Compositional Verification for Autonomous System Design

Applications of Category Theory to the Area of Algebraic Specification in Computer Science

Proceedings of the 22nd International Overture Workshop

Proceedings Third Workshop on Graphs as Models

The algebra and machine representation of statistical models

A MDE Based Approach for Bridging Formal Models

Proceedings Ninth Workshop on Mathematically Structured Functional Programming

Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures

Bringing Class Diagrams to Life