Logic List Mailing Archive

CfP: ICGT 2025 – 18th Int'l Conference on Graph Transformation, 10-13 June 2025, Koblenz (Germany)

======================================================
ICGT 2025
International Conference on Graph Transformations 2025
https://conf.researchr.org/home/icgt-2025
------------------------------------------------------
Research Papers Abstracts: 28 Jan 2025 (AoE)
Research Papers Submission: 4 Feb 2025 (AoE)
Journal-First Submission:  22 Apr 2025 (AoE)
Conference: within 10-13 Jun 2025
======================================================

The 18th International Conference on Graph Transformation (ICGT 2025)
will be held in Koblenz, Germany, as part of STAF 2025 (Software
Technologies: Applications and Foundations). The conference takes place
under the auspices of EASST, EATCS, and IFIP WG 1.3.

Aims and Scope
==============

The use of graphs and graph-like structures as a formalism for
specification and modelling is widespread in all areas of computer
science as well as in many fields of computational research and
engineering. Relevant examples include software architectures, pointer
structures, state space and control/data flow graphs, UML and other
domain-specific models, network layouts, topologies of cyber-physical
environments, quantum computing and molecular structures. Often, these
graphs undergo dynamic change, ranging from reconfiguration and
evolution to various kinds of behaviour, all of which may be captured by
rule-based graph manipulation. Thus, graphs and graph transformation
form a fundamental universal modelling paradigm that serves as a means
for formal reasoning and analysis, ranging from the verification of
certain properties of interest to the discovery of fundamentally new
insights.

ICGT aims at fostering exchange and collaboration of researchers from
different backgrounds working with graphs and graph transformation,
either in contributing to their theoretical foundations or by applying
established formalisms to classical or novel areas. The conference not
only serves as a well-established scientific publication outlet, but
also as a platform to boost inter- and intra-disciplinary research and
to leeway for new ideas.

Research Papers
===============

In order to foster a lively exchange of perspectives on the subject of
the conference, the programme committee of ICGT 2025 encourages all
kinds of contributions related to graphs and graph transformation,
either from a theoretical point of view or a practical one.

Topics
------

Topics of interest include, but are not limited to the following subjects:

* General models of graph transformation (e.g. adhesive categories and
hyperedge replacement systems)
* Analysis and verification of graph transformation systems
* Graph-based machine learning, including graph neural networks and
models of rule inference
* Graph theoretical properties of graph languages
* Automata on graphs and parsing of graph languages
* Logical aspects of graph transformation
* Computational models based on graphs
* Structuring and modularisation of graph transformation
* Hierarchical graphs and decomposition of graphs
* Parallel, concurrent, and distributed graph transformation
* Term graph and string diagram rewriting
* Petri nets and other models of concurrency
* Business process models and notations
* Bigraphs and bigraphical reactive systems
* Graph databases and graph queries
* Model-driven development and model transformation
* Model checking, program analysis and verification, simulation and
animation
* Syntax, semantics and implementation of programming languages,
including domain-specific and visual languages
* Graph transformation languages and tool support
* Efficient algorithms (e.g. pattern matching, graph traversal, network
analysis)
* Applications and case studies in software engineering (e.g. software
architectures, refactoring, access control, and service-orientation)
* Applications to computing paradigms (e.g. bio-inspired, quantum,
ubiquitous, and visual)
* Graph transformation and artificial intelligence (e.g., AI for graph
transformations, applying graph transformations in AI engineering and
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php