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 202330 April 2023 - Notification: 09 May 2023
Wed 19 JulDisplayed 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 30mTalk | 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 30mTalk | Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser TheoremICGT Best Theory Paper Research Papers DOI | ||
12:00 30mTalk | Formalisation, Abstraction and Refinement of Bond Graphs Research Papers 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | Termination of Graph Transformation Systems using Weighted Subgraph CountingNominated for Best Paper Research Papers DOI Pre-print File Attached | ||
16:30 30mTalk | Extending single- to multi-variant model transformations by trace-based propagation of variability annotations Journal-First DOI File Attached | ||
Thu 20 JulDisplayed 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 30mTalk | A living monograph for graph transformation Research Papers DOI File Attached | ||
09:30 30mTalk | Graph Rewriting for Graph Neural NetworksNominated for Best Paper Research Papers DOI File Attached | ||
10:00 30mTalk | Compositionality of Rewriting Rules with Conditions Journal-First 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 60mKeynote | Formal Mathematics: Matching Algorithms as a Case Study STAF Keynotes Mohammad Abdulaziz Technische Universität München File Attached | ||
14:30 30mTalk | 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 30mTalk | Implementing the λGT Language: A Functional Language with Graphs as First-Class Data Research Papers DOI File Attached | ||
16:00 30mTalk | Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis Research Papers DOI Pre-print | ||
16:30 30mTalk | 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 15mDay closing | ICGT Conference Closing Research Papers Maribel Fernandez King's College London, Reiko Heckel University of Leicester, Chris Poskitt Singapore Management University | ||
Accepted Papers
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:
| Tue 9 May 2023 Journal-First Notification |
| Sun 30 Apr 2023 Journal-First Submission Deadline |
Maribel FernandezPC Chair
King's College London
United Kingdom
Chris PoskittPC Chair
Singapore Management University
Singapore
Paolo Bottoni
Sapienza University of Rome
Italy
Reiko Heckel
University of Leicester
United Kingdom
Fernando Orejas
Universitat Politècnica de Catalunya, Spain
Arend Rensink
University of Twente, The Netherlands
Netherlands