=======================================================
14th International Conference on Graph Transformation
ICGT 2021 - https://icgt2021.di.unipi.it/ <https://icgt2021.di.unipi.it/>
June 24-25 Bergen, Norway, co-located with STAF 2021 (=> FULLY VIRTUAL)
=======================================================
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.
Organization
-------------------
The 14th International Conference on Graph Transformation (ICGT 2021)
will be held fully virtual as part of STAF 2021 (Software Technologies:
Applications and Foundations):
https://staf2021.hvl.no/
ICGT 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.
Registration (including all STAF events)
—————————
Before June, 12th (Early)
Student 25 euro, Regular 50 euro
After June, 12
Student 35 euro, Regular 60 euro
Please visit https://staf2021.hvl.no/registration/
Invited Speaker
-------------------
Joost-Pieter Katoen
Verication Conquers Reliability Engineering
Accepted papers
-------------------
Please visit https://icgt2021.di.unipi.it/accepted-papers/
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
