ICGT 2023
Wed 19 - Thu 20 July 2023 Leicester, United Kingdom
co-located with STAF 2023
Thu 20 Jul 2023 10:00 - 10:30 at Willow - ICGT Session 5: Blue Skies & Journal-First Chair(s): Detlef Plump

We extend the notion of compositional associative rewriting as recently studied in the rule algebra framework literature to the setting of rewriting rules with conditions. Our methodology is category-theoretical in nature, where the definition of rule composition operations encodes the non-deterministic sequential concurrent application of rules in Double-Pushout (DPO) and Sesqui-Pushout (SqPO) rewriting with application conditions based upon M-adhesive categories. We uncover an intricate interplay between the category-theoretical concepts of conditions on rules and morphisms, the compositionality and compatibility of certain shift and transport constructions for conditions, and thirdly the property of associativity of the composition of rules.

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