ICGT 2023
Wed 19 - Thu 20 July 2023 Leicester, United Kingdom
co-located with STAF 2023

Call for Journal-First Contributions

We invite authors of previously published papers in all areas of graph transformation to submit a journal-first contribution. Authors of accepted journal-first papers will be invited to present their work at ICGT 2023, enriching the programme, and providing an additional pathway to engage with the community.

Contributions in this category must have been published in high-quality journals in 2019 or later. For ICGT 2023, we will additionally accept contributions that have been published in book chapters or other quality conferences.

Criteria

  • The original contribution must have been peer-reviewed and published in a quality journal, quality conference (other than ICGT), or as a book chapter in 2019 or later.
  • It must be within the scope of ICGT (authors should briefly justify this in their submission).
  • The paper should not be an extended journal version of a paper previously published at ICGT.
  • Authors should indicate whether the paper has previously been presented in equivalent Journal-First tracks of other conferences.

As contributions in this track will have already been peer-reviewed, they will not be reviewed again for technical content. Rather, the Journal-First committee will evaluate presentation proposals against the criteria above.

In the case where we have more submissions than available presentation slots at ICGT 2023, we will prioritise presentation proposals that: (1) will allow more authors to attend the conference, e.g., those with presenters who are not represented in the research papers track; and (2) will best complement the conference’s technical programme.

Important Dates

All deadlines are 23:59:59 AoE (UTC-12h).

  • Submission Platform Opens: 04 April 2023
  • Journal-First Submission Deadline: 25 April 2023 30 April 2023
  • Notification: 09 May 2023
Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 19 Jul

Displayed time zone: London change

11:00 - 12:30
ICGT Session 2: Specification and VerificationResearch Papers at Oak
Chair(s): Arend Rensink University of Twente, The Netherlands

Remote Participants: Zoom Link, YouTube Livestream

11:00
30m
Talk
Specification and Verification of a Linear-time Temporal Logic for Graph Transformation
Research Papers
Fabio Gadducci University of Pisa, P: Andrea Laretto Tallinn University of Technology, Davide Trotta University of Pisa
DOI Pre-print File Attached
11:30
30m
Talk
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser TheoremICGT Best Theory Paper
Research Papers
P: Robert Söldner University of York, Detlef Plump University of York
DOI
12:00
30m
Talk
Formalisation, Abstraction and Refinement of Bond Graphs
Research Papers
P: Richard Banach University of Manchester, John Baugh North Carolina State University
DOI
13:30 - 15:00
ICGT Session 3: TheoryResearch Papers at Oak
Chair(s): Nicolas Behr CNRS, Université Paris Cité, IRIF

Remote Participants: Zoom Link, YouTube Livestream

13:30
30m
Talk
A Monoidal View on Fixpoint Checks
Research Papers
Paolo Baldan University of Padova, P: Richard Eggert University of Duisburg-Essen, Barbara König University of Duisburg-Essen, Timo Matt University Duisburg-Essen, Tommaso Padoan University of Padova
DOI Pre-print
14:00
30m
Talk
Fuzzy Presheaves are Quasitoposes
Research Papers
P: Aloïs Rosset Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam, Jörg Endrullis Vrije Universiteit Amsterdam
DOI File Attached
14:30
30m
Talk
Moving a Derivation Along a Derivation Preserves the Spine
Research Papers
P: Hans-Jörg Kreowski University of Bremen, Sabine Kuske University of Bremen, Aaron Lye University of Bremen, Aljoscha Windhorst University of Bremen
DOI
15:30 - 17:00
ICGT Session 4: Graph Transformation PropertiesResearch Papers / Journal-First at Oak
Chair(s): Russ Harmer CNRS

Remote Participants: Zoom Link, YouTube Livestream

15:30
30m
Talk
Finding the Right Way to Rome: Effect-oriented Graph Transformation
Research Papers
P: Jens Kosiol Universität Kassel, Daniel Strüber Chalmers | University of Gothenburg / Radboud University, Gabriele Taentzer Philipps-Universität Marburg, Steffen Zschaler King's College London
DOI Pre-print File Attached
16:00
30m
Talk
Termination of Graph Transformation Systems using Weighted Subgraph CountingNominated for Best Paper
Research Papers
P: Roy Overbeek Vrije Universiteit Amsterdam, Jörg Endrullis Vrije Universiteit Amsterdam
DOI Pre-print File Attached
16:30
30m
Talk
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
Journal-First
P: Bernhard Westfechtel University of Bayreuth, Sandra Greiner University of Bern, Switzerland
DOI File Attached

Thu 20 Jul

Displayed time zone: London change

09:00 - 10:30
ICGT Session 5: Blue Skies & Journal-FirstResearch Papers / Journal-First at Willow
Chair(s): Detlef Plump University of York

Remote Participants: Zoom Link, YouTube Livestream

09:00
30m
Talk
A living monograph for graph transformation
Research Papers
Nicolas Behr CNRS, Université Paris Cité, IRIF, P: Russ Harmer CNRS
DOI File Attached
09:30
30m
Talk
Graph Rewriting for Graph Neural NetworksNominated for Best Paper
Research Papers
Adam Machowczyk University of Leicester, P: Reiko Heckel University of Leicester
DOI File Attached
10:00
30m
Talk
Compositionality of Rewriting Rules with Conditions
Journal-First
P: Nicolas Behr CNRS, Université Paris Cité, IRIF, Jean Krivine CNRS
DOI Media Attached
11:00 - 12:30
ICGT Session 6: ApplicationsResearch Papers at Willow
Chair(s): Kazunori Ueda Waseda University

Remote Participants: Zoom Link, YouTube Livestream

11:00
30m
Talk
A Rule-Based Procedure for Graph Query Solving
Research Papers
Dominique Duval Université Grenoble Alpes, P: Rachid Echahed University of Grenoble - CNRS, Frederic Prost Université Grenoble Alpes
DOI
11:30
30m
Talk
Formalization and analysis of BPMN using graph transformation systemsICGT Best Applications Paper
Research Papers
P: Tim Kräuter Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Harald König University of Applied Sciences, FHDW Hannover and Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences
DOI Pre-print File Attached
12:00
30m
Talk
Dominant Eigenvalue-Eigenvector Pair Estimation via Graph Infection
Research Papers
P: Kaiyuan Yang University of Zurich, Li Xia National University of Singapore, Y.C. Tay National University of Singapore
DOI Pre-print
13:30 - 15:00
ICGT Session 7: Keynote & Journal-FirstJournal-First / STAF Keynotes at Willow
Chair(s): Chris Poskitt Singapore Management University

Remote Participants: Zoom Link, YouTube Livestream

13:30
60m
Keynote
Formal Mathematics: Matching Algorithms as a Case Study
STAF Keynotes
Mohammad Abdulaziz Technische Universität München
File Attached
14:30
30m
Talk
Fast Rule-Based Graph Programs
Journal-First
DOI
15:30 - 17:15
ICGT Session 8: Tools & ApplicationsResearch Papers at Willow
Chair(s): Rachid Echahed University of Grenoble - CNRS

Remote Participants: Zoom Link, YouTube Livestream

15:30
30m
Talk
Implementing the λGT Language: A Functional Language with Graphs as First-Class Data
Research Papers
P: Jin Sano Waseda University, Kazunori Ueda Waseda University
DOI File Attached
16:00
30m
Talk
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis
Research Papers
Jannik Rau Ulm University, P: David Richerby University of Essex, Ansgar Scherp Ulm University
DOI Pre-print
16:30
30m
Talk
Advanced Consistency Restoration with Higher-Order Short-Cut Rules
Research Papers
P: Lars Fritsche TU Darmstadt, Germany, Jens Kosiol Universität Kassel, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany
DOI
17:00
15m
Day closing
ICGT Conference Closing
Research Papers
Maribel Fernandez King's College London, Reiko Heckel University of Leicester, Chris Poskitt Singapore Management University

Submission

Authors should submit a two-page presentation proposal consisting of the paper’s title, the paper’s authors, the abstract, a link to the original publication, who will be presenting the paper, and a brief justification of its relevance to the ICGT community.

The presentation proposal should be prepared using Springer’s LNCS format (which is also available as an Overleaf template), and must be submitted to the following Easychair instance:

https://easychair.org/conferences/?conf=icgt2023

Questions? Use the ICGT Journal-First contact form.