STAF 2023 (series) / ICGT 2023 (series) /
ICGT 2023 Program
This is the ICGT 2023 program - see the full program for STAF 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 18 JulDisplayed time zone: London change
Tue 18 Jul
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social | ||
11:00 - 12:30 | STAF Keynote / TAP Session 1STAF Keynotes / TAP / ECMFA / Research Papers at Oak Chair(s): Cristina Seceleanu Mälardalen University Remote Participants: Zoom Link, YouTube Livestream | ||
11:00 15mDay opening | TAP Conference Opening TAP | ||
11:15 75mKeynote | Symbolic, Statistical and Randomized Engines in UPPAAL STAF Keynotes Kim Larsen Aalborg University | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social | ||
18:00 - 19:00 | |||
18:00 60mSocial Event | Welcome Reception STAF Social | ||
Wed 19 JulDisplayed time zone: London change
Wed 19 Jul
Displayed time zone: London change
09:00 - 10:15 | STAF Keynote / ICGT Session 1STAF Keynotes / TAP / ECMFA / Research Papers at Oak Chair(s): Maribel Fernandez King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 15mDay opening | ICGT Conference Opening Research Papers File Attached | ||
09:15 60mKeynote | Syntactic trinitarianism: terms, graphs, diagrams STAF Keynotes Dan Ghica Huawei Research and University of Birmingham Pre-print | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social | ||
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 | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social | ||
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:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social | ||
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 | ||
17:15 - 22:30 | STAF Excursion & BanquetSTAF Social | ||
17:15 1h45mSocial Event | Excursion to St Mary de Castro STAF Social | ||
19:00 3h30mDinner | Banquet at Bistrot Pierre STAF Social | ||
Thu 20 JulDisplayed time zone: London change
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 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 | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social | ||
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 | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social | ||
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:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social | ||
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 | ||
Fri 21 JulDisplayed time zone: London change
Fri 21 Jul
Displayed time zone: London change
09:00 - 10:30 | STAF Keynote / ECMFA Session 5STAF Keynotes / TAP / ECMFA / Research Papers at Oak Chair(s): Steffen Zschaler King's College London Remote Participants: Zoom Link, YouTube Livestream | ||
09:00 90mKeynote | How I lost my faith (in language technology research)? There and back again. STAF Keynotes Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break STAF Social | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Social | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee Break STAF Social | ||