Logic List Mailing Archive

CfP: ICGT: 17th International Conference on Graph Transformation (part of STAF 2024), 8th-12th July, Twente (The Netherlands)

[apologies for cross-posting]

***** 2nd CALL FOR PAPERS *****

IMPORTANT: the submission dates have been brought forward by one week 
since the 1st CFP

=================================================================
17th International Conference on Graph Transformation (ICGT 2024)

 ? web: https://conf.researchr.org/home/icgt-2024

Part of STAF 2024, 8th-12th July in Twente, NL

 ? web: https://conf.researchr.org/home/staf-2024
=================================================================

** 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 provide leeway for
new ideas.

The 17th International Conference on Graph Transformation (ICGT 2024)
will be held at the University of Twente in Enschede, NL, as part of
STAF 2024 (Software Technologies: Applications and Foundations). The
conference takes place under the auspices of EATCS and IFIP WG 1.3.

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

** IMPORTANT DATES **

Abstracts:????????????? 20 Feb 2024
Paper Submission:?????? 27 Feb 2024
Notification:?????????? 23 Apr 2024
Final version due:????? 14 May 2024
Conference:???????????? within 8-12 Jul 2024

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 2024 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
- Structuring and modularisation of graph transformation
- Hierarchical graphs and decomposition of graphs
- Parallel, concurrent, and distributed graph transformation
- Graph-theoretical properties of graph languages
- Automata on graphs and parsing of graph languages
- Logical aspects of graph transformation
- Term graph and string diagram rewriting
- Petri nets and other models of concurrency
- Bigraphs and bigraphical reactive systems
- Computational models based on graphs
- Model checking, program analysis and verification, simulation and
animation
- Applications to computing paradigms (e.g. bio-inspired, quantum,
ubiquitous, and visual)
- Graph databases and graph queries
- Model-driven development and model transformation
- Business process models and notations
- Applications and case studies in software engineering (e.g. software
architectures, refactoring, access control, and service-orientation)
- Syntax, semantics and implementation of programming languages,
including domain-specific and visual languages
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php