Research PapersICGT 2023

Call for Papers

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

Topics of Interest

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 search-based software engineering)

Important Dates

All deadlines are 23:59:59 AoE (UTC-12h).

• Abstracts: 28 Feb 2023
• Paper Submission: 07 Mar 2023
• Notification: 21 Apr 2023
• Final version due: 07 May 2023
• Conference: 19-20 Jul 2023

Submission Types

Authors are invited to submit research papers in three possible categories, which must be prepared using Springer’s LNCS format (which is also available as an Overleaf template).

1. Regular research papers (up to 16 pages, excluding references and appendices), including papers describing applications and case studies. Papers will be evaluated with respect to their originality, significance, and technical soundness. Additional material intended for reviewers (but not publication) may be included in a clearly marked appendix.

2. Tool presentation papers (up to 8 pages, excluding references and appendices), which demonstrate the main features and functionality of graph-based tools. A tool presentation may have an appendix with a detailed demo description (up to 4 pages) which will be reviewed but not included in the proceedings.

3. “Blue Skies” (up to 8 pages), reporting on new research directions or ideas which are not yet sufficiently developed to fit in other categories.

Papers in the three categories above will be published in a Springer LNCS volume (previous ICGT LNCS volumes can be accessed here).

Furthermore, we will also have a Journal-First track, allowing for previously published work (in book chapters, journals, or other conferences since 2019) to be presented at ICGT 2023. The submission deadline for the Journal-First track will be later – all details will be posted to this page in due course.

How to Submit

Papers must be submitted using the ICGT 2023 Easychair instance:

https://easychair.org/conferences/?conf=icgt2023

Best Paper Awards

The programme committee shall select two ICGT 2023 papers to be awarded the following:

• Best Theory Paper Award
• EASST Best Software Science Paper Award

Special Issue

Last year, selected authors were invited to prepare and submit extended journal versions to be considered for publication in the Journal of Logical and Algebraic Methods in Programming (Elsevier) after an independent round of peer review. We are planning another special issue for selected ICGT 2023 papers (details to be announced).