Email Gateway (Feb 22 2022 at 10:41): Email Gateway (Feb 22 2022 at 10:41):From: Daniel Strüber <danstru@chalmers.se>
=========================================================
15th International Conference on Graph Transformation
ICGT 2022 - https://icgt2022.gitlab.io/
July 7-8, Nantes, France, co-located with STAF 2022
Second call-for-papers with new and updated information:
Updated extended submission deadlines
abstracts due: February 28, 2022
full papers due: March 7, 2022
Details on keynote speaker and journal for special issue
Highlighted special focus of ICGT 2022:
Executable Applied Category Theory
==========================================================
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 15th International Conference on Graph Transformation (ICGT 2022)
will be held in Nantes, France, as part of STAF 2022 (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 (updated)
Note: All times are end-of-day Anywhere on Earth.
SPECIAL INTEREST TOPIC OF ICGT 2022: EXECUTABLE APPLIED CATEGORY THEORY
A special focus of this conference will consist of new approaches to
formalizing the knowledge in the research field of graph transformation
theory via proof assistants such as Coq. Referring to the homepage of
the GReTA-ExACT workgroup for further information [1], a long-term goal
of this kind of approach will consist in establishing a Coq-enriched
wiki for our research field akin to the nLab. This platform will serve
as a sustainable mechanism for curating applied and mathematical
knowledge in graph transformation research, and eventually as a research
tool in its own right, notably through the provision of interactive
database-supported proof construction. Another avenue of research will
concern executable applied category theory (ExACT), i.e., code
extraction from formalized categorical structures, with the perspective
of curating a database of correct-by-construction reference prototype
algorithms for various forms of graph transformation semantics and
graph-like data structures. To introduce the initiative and facilitate
the broad involvement of the ICGT community and collect feedback from
participants regarding the scope and format of such a wiki project, a
peer-reviewed brainstorming session is planned as one of the events at
the conference.
KEYNOTE
In line with this special focus, we are delighted to announce a keynote
to be held by Christian Doczkal (Max-Planck Institute for Security and
Privacy, Bochum, Germany). Christian Doczkal will present his work on a
library of formalized graph theory results in Coq and share some of the
lessons learned along the way.
SUBMISSIONS
In order to foster a lively exchange of perspectives on the subject of
the conference, the programme committee of ICGT 2022 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
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 GUIDELINES
Papers can be submitted via EasyChair [2] using Springer’s LNCS format
(cf. LNCS Overleaf template [3]). For regular and tool demonstration
papers, simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is not
allowed. The page limits are strict and include references. At least one
author for each accepted paper must register before the early
registration deadline and present the paper during the conference [4].
Papers are solicited in three categories:
Regular papers (limited to 16 pages in Springer LNCS format) describe
innovative contributions and are evaluated with respect to their
originality, significance, and technical soundness. We also solicit case
studies describing applications of graph transformation in any
application domain. Additional material intended for reviewers but not
for publication in the final version may be included in a clearly marked
appendix.
Tool presentation papers (limited to 8 pages in Springer LNCS format)
demonstrate the main features and functionality of graph-based tools. A
tool presentation paper may have an appendix with a detailed demo
description (up to 4 pages), which will be reviewed but not included in
the proceedings.
New ideas papers (limited to 2 pages in Springer LNCS format) report
on relevant contributions to the theory or applications of graph
transformation, which may have been published (or accepted for
publication) in a peer-reviewed conference other than ICGT, as a book
chapter or journal article since 2018. Papers in this category will be
selected for presentation at the conference according to their relevance
to the graph transformation community, and they will be considered for
the special issues. Submissions will consist of a 2-page abstract. In
case of extended abstracts of published papers, the submission must
refer to the published paper and include the original paper in PDF.
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. The special
issue will be published in the Journal of Logical and Algebraic Methods
in Programming (Elsevier).
PROGRAM & LOCAL INFORMATION
TBA on the conference website [5].
ORGANIZATION
Program Chairs
Program Committee
Leen Lambers (Technical University of Brandenburg (BTU)
Cottbus-Sentenberg, Germany)
Yngve Lamo (Western Norway University of Applied Sciences Bergen, Norway)
Last updated: Apr 16 2024 at 16:19 UTC