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 14th International Conference on Automated Deduction in Geometry

Proceedings of the 13th International Conference on Automated Deduction in Geometry

Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022)

Proceedings 6th International Workshop on Theorem proving components for Educational software

Proceedings of the Workshop on 3D Geometry Generation for Scientific Computing

Foreword to the Special Issue on CAD/Graphics 2017.

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

Proceedings 15th International Conference on Automata and Formal Languages

Foreword to the Special Issue on CAD/Graphics 2017

DL4G-SDE 2019 Chairs' Welcome

Proceedings Third Workshop on Graphs as Models

Preface: 2nd International Conference on Artificial Intelligence, Database and Machine Learning (AIDML 2024)

Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221).

Pre-proceedings of the DECLARE 2019 Conference

Dagstuhl Manifestos, Vol. 7, Issue 1 ISSN 2193-2433

Proceedings of the Twentieth Australasian Conference on Australasian Database - Volume 92

Proceedings 7th International Workshop on Theorem proving components for Educational software

Proceedings 8th International Workshop on Theorem Proving Components for Educational Software

Towards Ranking Geometric Automated Theorem Provers

Proceedings 13th International Workshop on Developments in Computational Models