<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-SG" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<p style="font-family:Calibri;font-size:8pt;color:#000000;margin:5pt;" align="Center">
SMU Classification: Restricted<br>
</p>
<br>
<div>
<div class="WordSection1">
<p class="MsoNormal">[apologies for cross-posting]</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">***** 1st CALL FOR PAPERS *****</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">=================================================================</p>
<p class="MsoNormal">16th International Conference on Graph Transformation (ICGT 2023)</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> web: https://conf.researchr.org/home/icgt-2023</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Part of STAF 2023, 17-21st July in Leicester, UK</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"> web: https://conf.researchr.org/home/staf-2023</p>
<p class="MsoNormal">=================================================================</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">** AIMS AND SCOPE **</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The use of graphs and graph-like structures as a formalism for</p>
<p class="MsoNormal">specification and modelling is widespread in all areas of computer</p>
<p class="MsoNormal">science as well as in many fields of computational research and</p>
<p class="MsoNormal">engineering. Relevant examples include software architectures, pointer</p>
<p class="MsoNormal">structures, state space and control/data flow graphs, UML and other</p>
<p class="MsoNormal">domain-specific models, network layouts, topologies of cyber-physical</p>
<p class="MsoNormal">environments, quantum computing and molecular structures. Often, these</p>
<p class="MsoNormal">graphs undergo dynamic change, ranging from reconfiguration and</p>
<p class="MsoNormal">evolution to various kinds of behaviour, all of which may be captured by</p>
<p class="MsoNormal">rule-based graph manipulation. Thus, graphs and graph transformation</p>
<p class="MsoNormal">form a fundamental universal modelling paradigm that serves as a means</p>
<p class="MsoNormal">for formal reasoning and analysis, ranging from the verification of</p>
<p class="MsoNormal">certain properties of interest to the discovery of fundamentally new</p>
<p class="MsoNormal">insights.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The International Conference on Graph Transformation aims at fostering</p>
<p class="MsoNormal">exchange and collaboration of researchers from different backgrounds</p>
<p class="MsoNormal">working with graphs and graph transformation, either in contributing to</p>
<p class="MsoNormal">their theoretical foundations or by applying established formalisms to</p>
<p class="MsoNormal">classical or novel areas. The conference not only serves as a</p>
<p class="MsoNormal">well-established scientific publication outlet, but also as a platform</p>
<p class="MsoNormal">to boost inter- and intra-disciplinary research and to leeway for new ideas.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The 16th International Conference on Graph Transformation (ICGT 2023)</p>
<p class="MsoNormal">will be held in Leicester, UK, as part of STAF 2023 (Software</p>
<p class="MsoNormal">Technologies: Applications and Foundations). The conference takes place</p>
<p class="MsoNormal">under the auspices of EATCS and IFIP WG 1.3. Proceedings will be</p>
<p class="MsoNormal">published by Springer in the Lecture Notes in Computer Science (LNCS)</p>
<p class="MsoNormal">series.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">---------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">** IMPORTANT DATES **</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Abstracts: 28 Feb 2023</p>
<p class="MsoNormal">Paper Submission: 07 Mar 2023</p>
<p class="MsoNormal">Notification: 21 Apr 2023</p>
<p class="MsoNormal">Final version due: 07 May 2023</p>
<p class="MsoNormal">Conference: within 17-21 Jul 2023</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">All deadlines are by end-of-day, AoE</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">---------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">** TOPICS **</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">In order to foster a lively exchange of perspectives on the subject of</p>
<p class="MsoNormal">the conference, the programme committee of ICGT 2023 encourages all</p>
<p class="MsoNormal">kinds of contributions related to graphs and graph transformation,</p>
<p class="MsoNormal">either from a theoretical point of view or a practical one.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Topics of interest include, but are not limited to the following subjects:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- General models of graph transformation (e.g. adhesive categories and</p>
<p class="MsoNormal">hyperedge replacement systems)</p>
<p class="MsoNormal">- Analysis and verification of graph transformation systems</p>
<p class="MsoNormal">- Graph-based machine learning, including graph neural networks</p>
<p class="MsoNormal">and models of rule inference</p>
<p class="MsoNormal">- Graph theoretical properties of graph languages</p>
<p class="MsoNormal">- Automata on graphs and parsing of graph languages</p>
<p class="MsoNormal">- Logical aspects of graph transformation</p>
<p class="MsoNormal">- Computational models based on graphs</p>
<p class="MsoNormal">- Structuring and modularisation of graph transformation</p>
<p class="MsoNormal">- Hierarchical graphs and decomposition of graphs</p>
<p class="MsoNormal">- Parallel, concurrent, and distributed graph transformation</p>
<p class="MsoNormal">- Term graph and string diagram rewriting</p>
<p class="MsoNormal">- Petri nets and other models of concurrency</p>
<p class="MsoNormal">- Business process models and notations</p>
<p class="MsoNormal">- Bigraphs and bigraphical reactive systems</p>
<p class="MsoNormal">- Graph databases and graph queries</p>
<p class="MsoNormal">- Model-driven development and model transformation</p>
<p class="MsoNormal">- Model checking, program analysis and verification, simulation and</p>
<p class="MsoNormal">animation</p>
<p class="MsoNormal">- Syntax, semantics and implementation of programming languages,</p>
<p class="MsoNormal">including domain-specific and visual languages</p>
<p class="MsoNormal">- Graph transformation languages and tool support</p>
<p class="MsoNormal">- Efficient algorithms (e.g. pattern matching, graph traversal, network</p>
<p class="MsoNormal">analysis)</p>
<p class="MsoNormal">- Applications and case studies in software engineering (e.g. software</p>
<p class="MsoNormal">architectures, refactoring, access control, and service-orientation)</p>
<p class="MsoNormal">- Applications to computing paradigms (e.g. bio-inspired, quantum,</p>
<p class="MsoNormal">ubiquitous, and visual)</p>
<p class="MsoNormal">- Graph transformation and artificial intelligence (e.g., AI for graph</p>
<p class="MsoNormal">transformations, applying graph transformations in AI engineering and</p>
<p class="MsoNormal">search-based software engineering)</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">---------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">** SUBMISSION TYPES **</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Authors are invited to submit papers in four possible categories, which</p>
<p class="MsoNormal">must be prepared using Springer's LNCS format.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">(1) Regular research papers (up to 16 pages, excluding references and
</p>
<p class="MsoNormal">appendices), including papers describing applications and case studies.
</p>
<p class="MsoNormal">Papers will be evaluated with respect to their originality, significance,
</p>
<p class="MsoNormal">and technical soundness. Additional material intended for reviewers
</p>
<p class="MsoNormal">(but not publication) may be included in a clearly marked appendix.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">(2) Tool presentation papers (up to 8 pages, excluding references and
</p>
<p class="MsoNormal">appendices), which demonstrate the main features and functionality of
</p>
<p class="MsoNormal">graph-based tools. A tool presentation may have an appendix with a
</p>
<p class="MsoNormal">detailed demo description (up to 4 pages) which will be reviewed but
</p>
<p class="MsoNormal">not included in the proceedings.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">(3) "Blue Skies" (up to 8 pages), reporting on new research directions or</p>
<p class="MsoNormal">ideas which are not yet sufficiently developed to fit in other categories.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Furthermore, there will also be a "Journal-First" track allowing for</p>
<p class="MsoNormal">previously published work (in book chapters, journals, or other conferences</p>
<p class="MsoNormal">since 2019) to be presented at ICGT 2023. The submission deadline for the</p>
<p class="MsoNormal">Journal-First track will be later and announced separately.</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Please refer to the ICGT 2023 website for further information as well as</p>
<p class="MsoNormal">the Easychair submission link:</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">https://conf.researchr.org/home/icgt-2023</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">---------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">** SPECIAL ISSUE **</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Authors of the best papers at the conference will be invited to prepare</p>
<p class="MsoNormal">and submit extended journal versions to be considered for publication in</p>
<p class="MsoNormal">a special issue after an independent round of peer review (details TBA).</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">---------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">** ORGANISATION **</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Programme Chairs</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Maribel Fernandez (King's College London, UK)</p>
<p class="MsoNormal">* Chris Poskitt (Singapore Management University, Singapore)</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Programme Committee</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">* Nicolas Behr (Université Paris Cité, CNRS, IRIF, France)</p>
<p class="MsoNormal">* Paolo Bottoni (Sapienza University of Rome, Italy)</p>
<p class="MsoNormal">* Andrea Corradini (Università di Pisa, Italy)</p>
<p class="MsoNormal">* Juan De Lara (Universidad Autonoma de Madrid, Spain)</p>
<p class="MsoNormal">* Rachid Echahed (CNRS and University of Grenoble, France)</p>
<p class="MsoNormal">* Holger Giese (Hasso Plattner Institute at the University of Potsdam, Germany)</p>
<p class="MsoNormal">* Russ Harmer (CNRS & ENS Lyon, France)</p>
<p class="MsoNormal">* Reiko Heckel (University of Leicester, UK)</p>
<p class="MsoNormal">* Wolfram Kahl (McMaster University, Canada)</p>
<p class="MsoNormal">* Barbara König (University of Duisburg-Essen, Germany)</p>
<p class="MsoNormal">* Leen Lambers (BTU Cottbus - Senftenberg, Germany)</p>
<p class="MsoNormal">* Yngve Lamo (Western Norway University of Applied Sciences, Norway)</p>
<p class="MsoNormal">* Fernando Orejas (Technical University of Catalonia, Spain)</p>
<p class="MsoNormal">* Detlef Plump (University of York, UK)</p>
<p class="MsoNormal">* Arend Rensink (University of Twente, Netherlands)</p>
<p class="MsoNormal">* Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil)</p>
<p class="MsoNormal">* Andy Schürr (TU Darmstadt, Germany)</p>
<p class="MsoNormal">* Pawel Sobocinski (Tallinn University of Technology, Estonia)</p>
<p class="MsoNormal">* Gabriele Taentzer (Philipps-Universität Marburg, Germany)</p>
<p class="MsoNormal">* Kazunori Ueda (Waseda University, Japan)</p>
<p class="MsoNormal">* Jens Weber (University of Victoria, Canada)</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">---------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">** CONTACT **</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">All questions about submissions should be emailed to both PC Chairs</p>
<p class="MsoNormal">via cposkitt@smu.edu.sg and maribel.fernandez@kcl.ac.uk</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">---------------------------------------</p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</div>
</body>
</html>