STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
WADT Keynote Session 1Keynotes / WADT at Waaier 3
Chair(s): Tom van Dijk University of Twente
09:00
60m
Keynote
WADT Keynote 1 - Some Uses of Modal Semirings
Keynotes
K: Bernhard Möller University of Augsburg
File Attached
10:00
30m
Talk
Bialgebraic Representation of Controlled Coordination of Interacting System Components
WADT
P: Harald König FHDW University of Applied Sciences, Uwe Wolter University of Bergen
File Attached
13:30 - 15:00
WADT Keynote Session 2WADT / Keynotes at Waaier 3
Chair(s): Uwe Wolter University of Bergen
13:30
60m
Keynote
WADT Keynote 2 - Common Meadows with Infinite Values
Keynotes
K: Jan Bergstra University of Amsterdam
File Attached
14:30
30m
Talk
Categories of Algebraic Rewrite Rules
WADT
P: Thierry Boy de La Tour CNRS and University Grenoble Alpes
File Attached

Tue 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ECMFA Keynote SessionKeynotes at Waaier 2
09:00
90m
Keynote
ECMFA Keynote - From Data Chaos to Decision Making
Keynotes
K: Agnes Koschmider University of Bayreuth
11:00 - 12:30
GCM Session 1GCM at Waaier 3
Chair(s): Jörg Endrullis Vrije Universiteit Amsterdam
11:00
30m
Research paper
Linear-Time Graph Programs for Unrestricted Graphs
GCM
Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York
Pre-print
11:30
30m
Research paper
Scalable Pattern Matching in Computation Graphs
GCM
Luca Mondada University of Oxford, Pablo Andres-Martinez University of Edinburgh
Pre-print
12:00
30m
Research paper
GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
GCM
Mattia De Rosa University of Salerno, Mark Minas Universität der Bundeswehr München
Pre-print
13:30 - 15:00
GCM Session 2GCM at Waaier 3
Chair(s): Dominik Grzelak Technische Universität Dresden
13:30
30m
Research paper
An Encoding of Interaction Nets in OCaml
GCM
Nikolaus Huber , Wang Yi Uppsala University, Sweden
Pre-print
14:00
30m
Research paper
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
GCM
Ebtihal Althubiti , Michele Sevegnani University of Glasgow
Pre-print
14:30
30m
Research paper
Modelling Real-time Systems with Bigraphs
GCM
Maram Albalwe , Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow
Pre-print
15:30 - 17:00
GCM Lightning TalksGCM at Waaier 3
Chair(s): Reiko Heckel University of Leicester

Special Session on Graph Transformation and AI

▶ See Session Overview

Aim: brainstorm and reflect ideas on the use of AI for Graph Transformation (GT) and vice versa followed by panel discussion.

15:30
15m
Talk
Checking Nested Graph Expressions with Alternating Finite Graph Automata
GCM

Pre-print
15:45
15m
Talk
A Conflict-Free Replicated Data Type for Graph Rewriting
GCM

Pre-print
16:00
15m
Talk
Towards Graph-to-Graph Transformation Networks
GCM
Adam Machowczyk University of Leicester, Reiko Heckel University of Leicester
Pre-print
16:15
15m
Talk
From Message Passing to Actor Graph Neural Networks
GCM
Reiko Heckel University of Leicester, Adam Machowczyk University of Leicester
Pre-print
16:30
15m
Talk
Graphs in Lowcode Platforms: a Practitioner’s Approach
GCM
Francisco Martínez-Lasaca Universidad Autónoma de Madrid, Pablo Díez , Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
16:45
15m
Talk
Locally Explainable Rules with Bigraphs
GCM
Dominik Grzelak Technische Universität Dresden
Pre-print

Wed 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ICGT Keynote SessionKeynotes / ICGT Research Papers at Waaier 2
Chair(s): Jens Kosiol Universität Kassel
09:00
15m
Day opening
ICGT Opening
ICGT Research Papers

09:15
75m
Keynote
ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis
Keynotes
K: Marielle Stoelinga University of Twente and Radboud University, Nijmegen
13:30 - 15:00
AgileMDE Keynote SessionKeynotes at Waaier 3
13:30
90m
Keynote
AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes
Keynotes
K: Iván Alfonso Luxembourg Institute of Science and Technology

Thu 11 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
ICGT Keynote SessionICGT Research Papers / Keynotes at Waaier 3
Chair(s): Jens Kosiol Universität Kassel
09:00
60m
Keynote
ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs
Keynotes
K: Tiago Prince Sales Semantics, Cybersecurity and Services, University of Twente
10:00
30m
Talk
Can I teach graph rewriting to my chatbot?
ICGT Research Papers
P: Reiko Heckel University of Leicester, Issam Al-Azzoni Al Ain University, United Arab Emirates
File Attached
11:00 - 12:30
LLM4MDE Keynote SessionLLM4MDE / Keynotes at Waaier 3
11:00
15m
Day opening
LLM4MDE Opening
LLM4MDE
O: Riccardo Rubei University of L'Aquila
File Attached
11:15
60m
Keynote
LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions
Keynotes
K: Juri Di Rocco University of L'Aquila
File Attached