The Coq mailing list

[Daniel Strüber <danstru AT 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)

- Abstract submission: February 28, 2022
- Paper submission: March 7, 2022
- Notification: April 18, 2022
- Camera-ready: May 9, 2022
- Conference: July 7-8, 2022

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

- TOPICS OF INTEREST

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

- Nicolas Behr (CNRS, IRIF, Université de Paris, France)
- Daniel Strüber (Chalmers | University of Gothenburg, Sweden, and 
Radboud University, Netherlands)

Program Committee

- Paolo Baldan (Università degli Studi di Padova, Italy)
- Paolo Bottoni (Sapienza Università di Roma, Italy)
- Andrea Corradini (University of Pisa, Italy)
- Juan de Lara (Universidad Autónoma de Madrid, Spain)
- Juergen Dingel (Queen’s University Kingston, Ontario, Canada)
- Fabio Gadducci (University of Pisa, Italy)
- Holger Giese (Hasso Plattner Institute, University of Potsdam, Germany)
- Russ Harmer (CNRS, ENS Lyon, Université de Lyon, France)
- Reiko Heckel (University of Leicester, United Kingdom)
- Thomas Hildebrandt (University of Copenhagen, Denmark)
- Wolfram Kahl (McMaster University, Canada)
- Timo Kehrer (Humboldt-Universität zu Berlin, Germany)
- Aleks Kissinger (University of Oxford, United Kingdom)
- Barbara König (Universität Duisburg-Essen, Germany)
- Leen Lambers (Technical University of Brandenburg (BTU) 
Cottbus-Sentenberg, Germany)
- Yngve Lamo (Western Norway University of Applied Sciences Bergen, Norway)
- Koko Muroya (RIMS, Kyoto University)
- Fernando Orejas (Universitat Politècnica de Catalunya)
- Detlef Plump (University of York, United Kingdom)
- Arend Rensink (University of Twente Enschede, Netherlands)
- Leila Ribeiro (Federal University of Rio Grande do Sul (UFRGS) Porto 
Alegre, Brazil)
- Andy Schürr (Technische Universität Darmstadt, Germany)
- Gabriele Taentzer (Philipps-Universität Marburg, Germany)
- Matthias Tichy (Universität Ulm, Germany)
- Uwe Wolter (University of Bergen, Norway)
- Steffen Zschaler (King’s College London, United Kingdom)


CONTACT
All questions about submissions should be emailed to 
icgt2022.info AT gmail.com.

LINKS
[1] GReTA ExACT: International Online Workgroup on Executable Applied 
Category Theory for Rewriting Systems https://www.irif.fr/~greta/gretaexact/
[2] EasyChair submission site: 
https://easychair.org/conferences/?conf=icgt2022
[3] LNCS Template: 
https://www.overleaf.com/latex/templates/springer-lecture-notes-in-computer-science/kzwwpvhwnvfj#.WsdHOy5uZpg
[4] STAF 2022 Registration: https://staf2022.univ-nantes.io/registration/
[5] ICGT 2022: https://icgt2022.gitlab.io/

--
Dr. Daniel Strüber
https://www.danielstrueber.de/

Senior Lecturer
Department of Computer Science and Engineering
Chalmers University of Technology | University of Gothenburg

Assistant Professor
Department of Software Science
Radboud University Nijmegen