[Caml-list] [CFP] 17th Graph Computation Models Workshop - STAF 2026 - Deadline: 19 April

[Stefania Dumbrava <stefania.dumbrava@ensiie.fr>]

[-- Attachment #1: Type: text/plain, Size: 7180 bytes --]

/Please distribute as wide as possible, apologies for cross //posting!/

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

CALL FOR PAPERS

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

*17th International Workshop on Graph Computation Models  (GCM 2026)*

June 30, 2026, Rennes, France

https://conf.researchr.org/home/staf-2026/gcm-2026

Part of STAF 2026
https://conf.researchr.org/home/staf-2026

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

Important Dates

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

*Paper Submission :   19 April 2026*
Notification :                 20 May 2026
Final version due:         03 June 2026
Workshop :                   30 June 2026

Should you have any problem meeting the deadlines, please send an email 
to the organizers:

  * Nicolas Behr (nicolas.behr@irif.fr)
  * Stefania Dumbrava (stefania.dumbrava@ensiie.fr)

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

Aims

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

Graph computation models offer mathematically rigorous frameworks for 
specifying and analyzing rule-based and structural transformations of 
complex systems. They underpin research in areas including model-driven 
engineering, distributed systems, knowledge graphs, biological modeling, 
and quantum computation.


The International Graph Computation Models Workshop (GCM 2026) provides 
a focused forum for foundational advances and emerging applications of 
graph-based computation, bringing together researchers interested in
all aspects of computation models based on graphs and graph 
transformation. It fosters cross-fertilization of ideas and experience 
among senior and early-career researchers from different communities, 
spanning foundations, applications, and implementations of graph 
computation models and related areas.

Since 2006, GCM has been organized regularly as part of STAF and related 
events across Europe and beyond. Previous editions of the GCM series 
were held in Natal, Brazil (2006); Leicester, UK (2008); Enschede, The 
Netherlands (2010); Bremen, Germany (2012); York, UK (2014); L'Aquila, 
Italy (2015); Wien, Austria (2016); Marburg, Germany (2017); Toulouse, 
France (2018); Eindhoven, The Netherlands (2019); online (2020 and 
2021); Nantes, France (2022); Leicester, UK (2023); Twente, The 
Netherlands (2024); and Koblenz, Germany (2025).

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

Topics of Interest

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

GCM 2026 welcomes high-quality contributions on all aspects of graph 
computation models and graph transformation. Topics include, but are not 
limited to:

Foundations

  * Models, semantics, and calculi of graph transformation
  * Algebraic, categorical, and logical foundations
  * Analysis and verification of graph transformation systems
  * Confluence, termination, and complexity
  * Expressiveness and equivalence of graph computation models
  * Parallel, concurrent, and distributed graph transformation
  * Term graph rewriting and formal graph languages

Methods and Tool Support

  * Implementation techniques and optimization
  * Tool support and engineering of graph-based systems
  * Static analysis, model checking, and testing
  * Benchmarking and evaluation frameworks

Emerging Directions

  * Graph computation in AI and machine learning
  * Neuro-symbolic and rule-based learning approaches
  * Graph databases and property graph models
  * Graph computation in distributed and local-first systems
  * Explainability and reliability of graph-based systems

Applications

  * Graph-based and visual programming languages
  * Model-driven engineering and model management
  * Software architecture, evolution, and refactoring
  * Databases, knowledge graphs, and data management
  * Security, access control, and policy modeling
  * Workflow systems and business processes
  * Social, biological, and chemical network analysis
  * Quantum computing models and applications
  * Industrial applications and case studies

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

Invited Speakers

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

We are very happy to confirm the following invited speakers:

  * *Jade Alglave*, ARM & University College London, UK
  * *Nicolas Keriven*, CNRS & IRISA, France

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

Submissions and Publication

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

Authors are invited to submit papers in three 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.

(3) Abstracts limited to 2 pages, introducing recently published papers 
in a peer-reviewed venue different from the ICGT conference (these will 
not be included in the workshop proceedings).

Papers in PDF format should be submitted electronically via the 
EasyChair system site: https://easychair.org/conferences/?conf=staf2026

For further information, please see: 
https://conf.researchr.org/home/staf-2026/gcm-2026#Call-for-Papers

All papers must follow the CEUR single-column workshop proceedings format:

https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw

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 included for review purposes. Reviewers are 
not required to read the appendix, and only the main paper will appear 
in the proceedings.

If a short announcement extensively draws on previously published work, 
a copy of that work must be attached to the submission.

All submissions will be reviewed by the program 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.

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

Program Committee

=============================================================*
*

  * *Nicolas Behr* (co-chair), CNRS, & Université Paris Cité & IRIF
  * *Clara Bertolissi*, INSA Centre-Val-de-Loire
  * *Andrea Corradini*, University of Pisa
  * *Frank Drewes*, Umeå University
  * *Stefania Dumbrava* (co-chair), ENSIIE & INRIA Paris & IRIF &
    Télécom SudParis
  * *Fabio Gadducci*, University of Pisa
  * *Dominik Grzelak*, TU Dresden
  * *Reiko Heckel*, University of Leicester
  * *Jen Kosiol*, Philipps-Universität Marburg
  * *Marino Miculan*, DMIF & University of Udine
  * *Mark Minas*, Universität der Bundeswehr München
  * *Detlef Plump*, University of York
  * *Michele Sevegnani*, University of Glasgow
  * *Vadim Zaytsev*, Universiteit Twente

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


[-- Attachment #2: Type: text/html, Size: 9781 bytes --]