The Coq mailing list

[Christopher Michael POSKITT <cposkitt AT smu.edu.sg>]

[apologies for cross-posting]

***** CALL FOR PAPERS *****

=======================================

13th International Workshop on Graph Computation Models (GCM 2022)

4-8 July 2022 (exact day TBC)

Venue: Nantes, France

Web site: https://gcm2022.github.io/

Part of STAF 2022 (https://staf2022.univ-nantes.io/)

=======================================

Graphs are common mathematical structures which are visual and intuitive. 
They constitute a natural and seamless way for system modeling in science, 
engineering and beyond, including computer science, life sciences, business 
processes, etc. Graph computation models constitute a class of very 
high-level models where graphs are first-class citizens. They generalize 
classical computation models based on strings or trees, such as Chomsky 
grammars or term rewrite systems. Their mathematical foundation, in addition 
to their visual nature, facilitates specification, validation and analysis of 
complex systems. A variety of computation models have been developed using 
graphs and rule-based graph transformation. These models include features of 
programming languages and systems, paradigms for software development, 
concurrent calculi, local computations and distributed algorithms, and 
biological and chemical computations.

The International Workshop on Graph Computation Models aims at bringing 
together researchers interested in all aspects of computation models based on 
graphs and graph transformation. It promotes the cross-fertilizing exchange 
of ideas and experiences among young and senior researchers from different 
communities who are interested in the foundations, applications, and 
implementations of graph computation models and related areas.

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

** IMPORTANT DATES **

Abstract Submission:    20 April 2022
Paper Submission:       27 April 2022
Notification:           25 May 2022
Final version due:      15 June 2022
Workshop:               4–8 July 2022 (exact day TBC)

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

** TOPICS **

GCM 2022 solicits papers on all aspects of graph computation models. This 
includes, but is not limited to the following topics:

FOUNDATIONS
* Models of graph transformation
* Analysis and verification of graph transformation systems
* Parallel, concurrent, and distributed graph transformation
* Term graph rewriting
* Formal graph languages

APPLICATIONS
* Graph-based programming models and visual programming
* Program analysis and transformation
* Graph-based machine learning, including graph neural networks and models of 
rule inference
* Model-driven engineering and model transformation
* Evolutionary computation; software architectures, validation and evolution
* Databases
* Graph-based security models
* Workflow and business processes
* Social network analysis
* Bioinformatics and computational chemistry
* Quantum computing
* Case studies

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

** SUBMISSION TYPES **

Authors are invited to submit papers in two possible categories:

(1) Regular papers of at most 16 pages describing innovative contributions.

(2) Position papers, system descriptions, or work in progress of 6 to 12 
pages.

Papers in PDF format should be submitted electronically via the EasyChair 
system site (https://easychair.org/conferences/?conf=gcm2022). Submissions 
must use the EPTCS LaTeX style (http://style.eptcs.org/). Simultaneous 
submission to other conferences with proceedings, as well as submission of 
material that has already been published elsewhere is not allowed. The page 
limits include references. An optional appendix can be added if this is 
useful for the reviewing process.

All submissions will be reviewed by the programme committee. Electronic 
proceedings will be available at the time of the workshop. Selected authors 
will be invited to contribute to post-proceedings to be published online by 
Electronic Proceedings in Theoretical Computer Science (EPTCS, 
http://www.eptcs.org/).

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

** INVITED SPEAKER **

* Elizabeth Dinella (University of Pennsylvania, USA) – graph-based machine 
learning in program transformation and analysis

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

** PROGRAMME COMMITTEE **

Confirmed programme committee members at the time of this call include:

* Andrea Corradini, Università di Pisa, Italy
* Frank Drewes, Umeå University, Sweden
* Annegret Habel, University of Oldenburg, Germany
* Reiko Heckel (co-Chair), University of Leicester, Germany
* Berthold Hoffmann, University of Bremen, Germany
* Barbara König, University of Duisburg-Essen, Germany
* Leen Lambers, Brandenburgische Technische Universität Cottbus-Senftenberg, 
Germany
* Mark Minas, Universität der Bundeswehr München, Germany
* Fernando Orejas, Universitat Politècnica de Catalunya, Spain
* Detlef Plump, University of York, UK
* Chris Poskitt (co-Chair), Singapore Management University, Singapore

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

** ORGANISERS **

* Reiko Heckel (rh122 AT leicester.ac.uk)
* Chris Poskitt (cposkitt AT smu.edu.sg)

For more information, please visit the official workshop website at: 
https://gcm2022.github.io/

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