[TYPES/announce] CfP ICGT 2023 :: 16th International Conference on Graph Transformation

[Christopher Michael POSKITT]

SMU Classification: Restricted

[apologies for cross-posting]

***** 1st CALL FOR PAPERS *****

=================================================================
16th International Conference on Graph Transformation (ICGT 2023)

  web: https://urldefense.com/v3/__https://conf.researchr.org/home/icgt-2023__;!!IBzWLUs!XDKrxQFn6V5GkA6nDb4PtrIHmokyLrKsSdGMKg8r0mU_JA0tqyQtNlac5aRU0r8jr7OTyN-FsFHO8DfIcR2OCqjZnL_tQa0fnYg$ 

Part of STAF 2023, 17-21st July in Leicester, UK

  web: https://urldefense.com/v3/__https://conf.researchr.org/home/staf-2023__;!!IBzWLUs!XDKrxQFn6V5GkA6nDb4PtrIHmokyLrKsSdGMKg8r0mU_JA0tqyQtNlac5aRU0r8jr7OTyN-FsFHO8DfIcR2OCqjZnL_tHzR_x_0$ 
=================================================================

** 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.

The International Conference on Graph Transformation 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.

The 16th International Conference on Graph Transformation (ICGT 2023)
will be held in Leicester, UK, as part of STAF 2023 (Software
Technologies: Applications and Foundations). The conference takes place
under the auspices of EATCS and IFIP WG 1.3. Proceedings will be
published by Springer in the Lecture Notes in Computer Science (LNCS)
series.

---------------------------------------

** IMPORTANT DATES **

Abstracts:              28 Feb 2023
Paper Submission:       07 Mar 2023
Notification:           21 Apr 2023
Final version due:      07 May 2023
Conference:             within 17-21 Jul 2023

All deadlines are by end-of-day, AoE

---------------------------------------

** TOPICS **

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 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)

---------------------------------------

** SUBMISSION TYPES **

Authors are invited to submit papers in four possible categories, which
must be prepared using Springer's LNCS format.

(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.

Furthermore, there will also be 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 and announced separately.

Please refer to the ICGT 2023 website for further information as well as
the Easychair submission link:

https://urldefense.com/v3/__https://conf.researchr.org/home/icgt-2023__;!!IBzWLUs!XDKrxQFn6V5GkA6nDb4PtrIHmokyLrKsSdGMKg8r0mU_JA0tqyQtNlac5aRU0r8jr7OTyN-FsFHO8DfIcR2OCqjZnL_tQa0fnYg$ 

---------------------------------------

** SPECIAL ISSUE **

Authors of the best papers at the conference will be invited to prepare
and submit extended journal versions to be considered for publication in
a special issue after an independent round of peer review (details TBA).

---------------------------------------

** ORGANISATION **

Programme Chairs

* Maribel Fernandez (King's College London, UK)
* Chris Poskitt (Singapore Management University, Singapore)

Programme Committee

* Nicolas Behr (Université Paris Cité, CNRS, IRIF, France)
* Paolo Bottoni (Sapienza University of Rome, Italy)
* Andrea Corradini (Università di Pisa, Italy)
* Juan De Lara (Universidad Autonoma de Madrid, Spain)
* Rachid Echahed (CNRS and University of Grenoble, France)
* Holger Giese (Hasso Plattner Institute at the University of Potsdam, Germany)
* Russ Harmer (CNRS & ENS Lyon, France)
* Reiko Heckel (University of Leicester, UK)
* Wolfram Kahl (McMaster University, Canada)
* Barbara König (University of Duisburg-Essen, Germany)
* Leen Lambers (BTU Cottbus - Senftenberg, Germany)
* Yngve Lamo (Western Norway University of Applied Sciences, Norway)
* Fernando Orejas (Technical University of Catalonia, Spain)
* Detlef Plump (University of York, UK)
* Arend Rensink (University of Twente, Netherlands)
* Leila Ribeiro (Universidade Federal do Rio Grande do Sul, Brazil)
* Andy Schürr (TU Darmstadt, Germany)
* Pawel Sobocinski (Tallinn University of Technology, Estonia)
* Gabriele Taentzer (Philipps-Universität Marburg, Germany)
* Kazunori Ueda (Waseda University, Japan)
* Jens Weber (University of Victoria, Canada)

---------------------------------------

** CONTACT **

All questions about submissions should be emailed to both PC Chairs
via cposkitt at smu.edu.sg and maribel.fernandez at kcl.ac.uk

---------------------------------------


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221208/1c725a15/attachment-0001.htm>