The Coq mailing list

[Jens Kosiol <kosiolje AT mathematik.uni-marburg.de>]

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

14th International Workshop on Graph Computation Models (GCM 2023)

18-21 July 2023 (exact day TBC)

Venue: Leicester, UK

Web site: https://conf.researchr.org/home/staf-2023/gcm-2023

Part of STAF 2023 (https://conf.researchr.org/home/staf-2023)

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

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:    07 May 2023
Paper Submission:       14 May 2023
Notification:           12 June 2023
Final version due:      26 June 2023
Workshop:               18–21 July 2023 (exact day TBC)

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

** TOPICS **

GCM 2023 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 any of the following three 
categories:

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

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

(3) Short announcements of 1 or 2 pages, to be presented as lightning 
talks of 5 minutes.

Papers in PDF format should be submitted electronically via the 
EasyChair system site (https://easychair.org/conferences/?conf=gcm23). 
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 for regular and short papers. The page limits include 
references. An optional appendix may be added if this is useful for the 
reviewing process. If a short announcement extensively draws on already 
published work, a copy of that work is to be attached to the submission.

All submissions will be reviewed by the programme committee; short 
announcements will undergo a lightweight review and mainly be assessed 
for their potential to stir discussion on future research of the 
community. Electronic proceedings will be available at the time of the 
workshop. Selected authors of regular and short papers will be invited 
to contribute to post-proceedings to be published online by Electronic 
Proceedings in Theoretical Computer Science (EPTCS, http://www.eptcs.org/).

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

** PROGRAMME COMMITTEE **

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

* Andrea Corradini, Università di Pisa, Italy
* Rachid Echahed, University of Grenoble - CNRS, France
* Fabio Gadducci, Università di Pisa, Italy
* Reiko Heckel, University of Leicester, Germany
* Tobias Heindel (co-Chair), Heliax GmbH, Germany
* Berthold Hoffmann, University of Bremen, Germany
* Barbara König, University of Duisburg-Essen, Germany
* Jens Kosiol (co-Chair), Philipps-Universität Marburg, Germany
* Leen Lambers, Brandenburgische Technische Universität 
Cottbus-Senftenberg, Germany
* Marino Miculan, University of Udine, Italy
* Mark Minas, Universität der Bundeswehr München, Germany
* Detlef Plump, University of York, UK
* Sven Schneider, Hasso-Plattner-Institut, University of Potsdam, Germany

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

** ORGANISERS **

* Tobias Heindel (tobias AT heliax.dev)
* Jens Kosiol (kosiolje AT mathematik.uni-marburg.de)

For more information, please visit the official workshop website at: 
https://conf.researchr.org/home/staf-2023/gcm-2023

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