STAF 2024 (series) / ICGT 2024 (series) /
ICGT 2024 Program
This is the ICGT 2024 program - see the full program for STAF 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 8 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | WADT Keynote Session 1STAF Keynotes / WADT Research papers at Waaier 3 Chair(s): Tom van Dijk University of Twente | ||
09:00 60mKeynote | WADT Keynote 1 - Some Uses of Modal Semirings STAF Keynotes File Attached | ||
10:00 30mTalk | Bialgebraic Representation of Controlled Coordination of Interacting System Components WADT Research papers File Attached | ||
13:30 - 15:00 | WADT Keynote Session 2WADT Research papers / STAF Keynotes at Waaier 3 Chair(s): Uwe Wolter University of Bergen | ||
13:30 60mKeynote | WADT Keynote 2 - Common Meadows with Infinite Values STAF Keynotes File Attached | ||
14:30 30mTalk | Categories of Algebraic Rewrite Rules WADT Research papers File Attached | ||
Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 9 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | ECMFA Keynote - From Data Chaos to Decision Making STAF Keynotes | ||
Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 10 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | ICGT Keynote SessionSTAF Keynotes / ICGT Research Papers at Waaier 2 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 15mDay opening | ICGT Opening ICGT Research Papers | ||
09:15 75mKeynote | ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis STAF Keynotes | ||
11:00 - 12:30 | |||
11:00 30mTalk | Causal Graph Dynamics and Kan ExtensionsICGT Best Theory Paper ICGT Research Papers Pre-print File Attached | ||
11:30 30mTalk | The ‘Causality’ Quagmire for Formalised Bond Graphs ICGT Research Papers | ||
12:00 30mTalk | Tracelet Hopf Algebras and Decomposition SpacesJournal-first paper ICGT Research Papers Link to publication DOI Media Attached | ||
11:00 - 12:30 | MeSS Keynote SessionSTAF Keynotes at Waaier 3 Chair(s): Stefan Klikovits Johannes Kepler University, Linz | ||
11:00 90mKeynote | MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling STAF Keynotes Media Attached | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Gentle Introduction to LMNtal: Language Design and ImplementationTutorial ICGT Research Papers Link to publication Pre-print | ||
13:30 - 15:00 | |||
13:30 90mKeynote | AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes STAF Keynotes | ||
15:30 - 17:00 | ICGT Session 3ICGT Research Papers at Waaier 2 Chair(s): Fernando Orejas Universitat Politècnica de Catalunya | ||
15:30 30mTalk | Checking Transaction Isolation Violations with Graph Queries ICGT Research Papers Stefania Dumbrava ENSIIE & Institut Polytechnique de Paris, Zhao Jin ENSIIE, Burcu Kulahcioglu Ozkan Delft University of Technology, P: Jingxuan Qiu Delft University of Technology | ||
16:00 30mTalk | Modular language product lines: concept, tool and analysisJournal-first paper ICGT Research Papers Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Autónoma de Madrid, P: Paolo Bottoni Sapienza University of Rome Link to publication DOI | ||
16:30 30mTalk | Taint Analysis for Graph APIs Focusing on Broken Access ControlICGT Best Applications Paper ICGT Research Papers Leen Lambers BTU Cottbus Senftenberg, P: Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Osama Al-Wardi Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg DOI | ||
Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 11 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | ICGT Keynote SessionICGT Research Papers / STAF Keynotes at Waaier 3 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 60mKeynote | ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs STAF Keynotes | ||
10:00 30mTalk | Can I teach graph rewriting to my chatbot? ICGT Research Papers File Attached | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Bigraph Paper of Sorts ICGT Research Papers | ||
11:30 30mTalk | Extension and Restriction of Derivations in Adhesive Categories ICGT Research Papers P: Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aljoscha Windhorst University of Bremen | ||
12:00 30mTalk | Generalized Weighted Type Graphs for Termination of Graph Transformation Systems ICGT Research Papers | ||
11:00 - 12:30 | |||
11:00 15mDay opening | LLM4MDE Opening LLM4MDE File Attached | ||
11:15 60mKeynote | LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions STAF Keynotes File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models ICGT Research Papers P: Christopher Stone University of St Andrews, András Z. Salamon University of St Andrews, Ian Miguel University of St Andrews | ||
14:00 30mTalk | Graph Algebras and Derived Graph OperationsJournal-first paper ICGT Research Papers Link to publication DOI | ||
14:30 30mTalk | Linear-Time Graph Programs for Unbounded-Degree Graphs ICGT Research Papers P: Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York | ||
15:30 - 17:00 | ICGT Session 6ICGT Research Papers at Waaier 1 Chair(s): Arend Rensink University of Twente, The Netherlands | ||
15:30 30mTalk | Deriving Delay-Robust Timed Graph Transformation System Models ICGT Research Papers P: Mustafa Ghani Hasso Plattner Institute, University of Potsdam, Sven Schneider Hasso-Plattner-Institut, Universität Potsdam
, Maria Maximova Hasso-Plattner-Institut für Digital Engineering gGmbH, Holger Giese Hasso Plattner Institute, University of Potsdam | ||
16:00 30mTalk | Localized RETE for Incremental Graph Queries ICGT Research Papers P: Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam Pre-print | ||
16:30 30mTalk | Using application conditions to rank graph transformations for graph repair ICGT Research Papers Lars Fritsche TU Darmstadt, Germany, P: Alexander Lauer Philipps-Universität Marburg, Andy Schürr TU Darmstadt, Gabriele Taentzer Philipps-Universität Marburg Pre-print | ||