Waaier 3 - STAF 2024

VenueUniversity of Twente

Room nameWaaier 3

Floor0

Room Information

WA 3

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Research papers 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 Research papers P: Harald König FHDW University of Applied Sciences, Uwe Wolter University of Bergen File Attached

11:00 - 12:30	WADT Session 1WADT Research papers at Waaier 3 Chair(s): Alexandre Madeira University of Aveiro

11:00 30m Talk		Separating Code and Semantics for Maintainability WADT Research papers P: Sebastiaan Joosten University of Minnesota Twin Cities File Attached
11:30 30m Talk		Practical Source Code Weaving for Distributed Workflow Abstractions WADT Research papers P: Silviu-George Pantelimon National University of Science and Technology Politehnica Bucharest, Radu Ioan Ciobanu National University of Science and Technology Politehnica Bucharest, Ciprian Dobre National University of Science and Technology Politehnica Bucharest File Attached
12:00 30m Talk		The Algebraic Structure of Parametric Array Theories WADT Research papers P: Rodrigo Raya Max-Planck Institute for Software Systems File Attached

13:30 - 15:00	WADT Keynote Session 2WADT Research papers / 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 Research papers P: Thierry Boy de La Tour CNRS and University Grenoble Alpes File Attached

15:30 - 17:30	WADT Session 2WADT Research papers at Waaier 3 Chair(s): Thierry Boy de La Tour CNRS and University Grenoble Alpes

15:30 30m Talk		On the Algebra of Reactive Graphs WADT Research papers David Tinoco University of Aveiro, P: Alexandre Madeira University of Aveiro, Manuel A. Martins University of Aveiro, José Proença CISTER & Faculty of Sciences, University of Porto File Attached
16:00 30m Talk		Formal Specification with Many-Logics Modal Logic WADT Research papers Alfredo R. Freire University of Brası́lia, P: Manuel A. Martins University of Aveiro, Alexandre Madeira University of Aveiro File Attached
16:30 30m Talk		Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers WADT Research papers Lorenzo Ceragioli IMT School for Advanced Studies, Giuseppe Lomurno University of Pisa, P: Gabriele Tedeschi University of Pisa File Attached
17:00 30m Talk		Topological Inquiry in Abstract Model Theory WADT Research papers P: Asterios Gkantzounis National Technical University of Athens, Stefaneas Petros National Technical University of Athens File Attached

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

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	AgileMDE Session 1Agile MDE / MeSS at Waaier 3 Chair(s): Sobhan Yassipour Tehrani University College London (UCL)

09:00 10m Talk		Introduction Agile MDE Sobhan Yassipour Tehrani University College London (UCL)
09:10 20m Long-paper		Research directions for agile model-driven engineering Agile MDE Dr Kevin Lano King's College London
09:30 20m Long-paper		Exploring flexible models in agile MDE Agile MDE Artur Boronat University of Leicester
09:50 20m Long-paper		Software modelling for sustainable software engineering Agile MDE Dr Kevin Lano King's College London, Zishan Rahman King's College London
10:10 20m Long-paper		Software language translation by example Agile MDE Q. Xue

11:00 - 12:30	MeSS Keynote SessionKeynotes at Waaier 3 Chair(s): Stefan Klikovits Johannes Kepler University, Linz

11:00 90m Keynote		MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling Keynotes K: Giancarlo Guizzardi Media Attached

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

15:30 - 17:00	AglieMDE & MeSS SessionMeSS / Agile MDE at Waaier 3 Chair(s): Robbert Jongeling Mälardalen University

15:30 20m Short-paper		Model Driven Engineering in Finance: Bond Valuation, From Formulae to Code Agile MDE Asad Rahman King's College London
15:50 20m Short-paper		Towards agile collaborative multi-view modeling with inconsistency tolerance Agile MDE Yaser Shahvari MDSE Research Group, Faculty of Computer Engineering, University of Isfahan, Isfahan, Iran, Mohammadreza Sharbaf University of Isfahan
16:10 20m Talk		Towards Quantum-based Graph Matching for IoT Systems (Extended Abstract) MeSS Felix Gemeinhardt Johannes Kepler University, Linz, Daniel Lehner Johannes Kepler University Linz, Manuel Wimmer JKU Linz
16:30 20m Talk		Digital Twins for IoT Systems: Exploiting Synergies between Industry and Academia (Extended Abstract) MeSS Daniel Lehner Johannes Kepler University Linz, Ricardo Dunkel https://openindustry4.com/
16:50 10m Talk		Epsilon Playground Demo MeSS Dimitris Kolovos University of York

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

13:30 - 15:00	LLM4MDE SessionLLM4MDE at Waaier 3

13:30 30m Talk		From Image to UML: First Results of Image-Based UML Diagram Generation using LLMs LLM4MDE P: Aaron Conrardy Luxembourg Institute of Science and Technology, A: Jordi Cabot Luxembourg Institute of Science and Technology
14:00 30m Talk		LowcoBot: Towards Chatting With Low-Code Platforms LLM4MDE P: Francisco Martínez-Lasaca Universidad Autónoma de Madrid, A: Pablo Díez , A: Esther Guerra Universidad Autónoma de Madrid, A: Juan de Lara Autonomous University of Madrid Pre-print
14:30 30m Meeting		Discussion LLM4MDE

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Waaier 3	Keynotes + WADT Research papers WADT Keynote Session 1																								WADT Research papers WADT Session 1																														WADT Research papers + Keynotes WADT Keynote Session 2																								WADT Research papers WADT Session 2

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Waaier 3	GCM GCM Session 1																														GCM GCM Session 2																								GCM GCM Lightning Talks

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Waaier 3	Agile MDE + MeSS AgileMDE Session 1																								Keynotes MeSS Keynote Session																														Keynotes AgileMDE Keynote Session																								MeSS + Agile MDE AglieMDE & MeSS Session

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Waaier 3	ICGT Research Papers + Keynotes ICGT Keynote Session																								LLM4MDE + Keynotes LLM4MDE Keynote Session																														LLM4MDE LLM4MDE Session

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Waaier 3	STAF Keynotes WADT Keynote 1 - Some Uses of Modal Semirings 09:00 - 10:00												WADT Research papers Bialgebraic Representation of Controlled Coordination of Interacting Sy ... 10:00 - 10:30												WADT Research papers Separating Code and Semantics for Maintainability 11:00 - 11:30						WADT Research papers Practical Source Code Weaving for Distributed Workflow Abstractions 11:30 - 12:00						WADT Research papers The Algebraic Structure of Parametric Array Theories 12:00 - 12:30																		STAF Keynotes WADT Keynote 2 - Common Meadows with Infinite Values 13:30 - 14:30												WADT Research papers Categories of Algebraic Rewrite Rules 14:30 - 15:00												WADT Research papers On the Algebra of Reactive Graphs 15:30 - 16:00						WADT Research papers Formal Specification with Many-Logics Modal Logic 16:00 - 16:30						WADT Research papers Reconciling Quantum Theory and Process Calculi via Physically Admissibl ... 16:30 - 17:00						WADT Research papers Topological Inquiry in Abstract Model Theory 17:00 - 17:30

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Waaier 3	GCM Linear-Time Graph Programs for Unrestricted Graphs 11:00 - 11:30						GCM Scalable Pattern Matching in Computation Graphs 11:30 - 12:00						GCM GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Autom ... 12:00 - 12:30																		GCM An Encoding of Interaction Nets in OCaml 13:30 - 14:00						GCM Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs 14:00 - 14:30						GCM Modelling Real-time Systems with Bigraphs 14:30 - 15:00												GCM Checking Nested Graph Expressions with Alternating Finite Graph Automata 15:30 - 15:45			GCM A Conflict-Free Replicated Data Type for Graph Rewriting 15:45 - 16:00			GCM Towards Graph-to-Graph Transformation Networks 16:00 - 16:15			GCM From Message Passing to Actor Graph Neural Networks 16:15 - 16:30			GCM Graphs in Lowcode Platforms: a Practitioner’s Approach 16:30 - 16:45			GCM Locally Explainable Rules with Bigraphs 16:45 - 17:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Waaier 3	Agile MDE Introduction 09:00 - 09:10		Agile MDE Research directions for agile model-driven engineering 09:10 - 09:30				Agile MDE Exploring flexible models in agile MDE 09:30 - 09:50				Agile MDE Software modelling for sustainable software engineering 09:50 - 10:10				Agile MDE Software language translation by example 10:10 - 10:30										STAF Keynotes MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns ... 11:00 - 12:30																														STAF Keynotes AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Pr ... 13:30 - 15:00																								Agile MDE Model Driven Engineering in Finance: Bond Valuation, From Formulae to Code 15:30 - 15:50				Agile MDE Towards agile collaborative multi-view modeling with inconsistency tole ... 15:50 - 16:10				MeSS Towards Quantum-based Graph Matching for IoT Systems (Extended Abstract) 16:10 - 16:30				MeSS Digital Twins for IoT Systems: Exploiting Synergies between Industry an ... 16:30 - 16:50				MeSS Epsilon Playground Demo 16:50 - 17:00

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
Waaier 3	STAF Keynotes ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs 09:00 - 10:00												ICGT Research Papers Can I teach graph rewriting to my chatbot? 10:00 - 10:30												LLM4MDE LLM4MDE Opening 11:00 - 11:15			STAF Keynotes LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engi ... 11:15 - 12:15																											LLM4MDE From Image to UML: First Results of Image-Based UML Diagram Generation ... 13:30 - 14:00						LLM4MDE LowcoBot: Towards Chatting With Low-Code Platforms 14:00 - 14:30						LLM4MDE Discussion 14:30 - 15:00

Room information: Waaier 3

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

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

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

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

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

Keynotes + WADT Research papers

WADT Research papers

WADT Research papers + Keynotes

WADT Research papers

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

GCM

GCM

GCM

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

Agile MDE + MeSS

Keynotes

Keynotes

MeSS + Agile MDE

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

ICGT Research Papers + Keynotes

LLM4MDE + Keynotes

LLM4MDE

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

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

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

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

Tracks

Co-hosted Conferences

Workshops

Room information: Waaier 3

Program Display Configuration

Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Keynotes + WADT Research papers

WADT Research papers

WADT Research papers + Keynotes

WADT Research papers

Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

GCM

GCM

GCM

Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Agile MDE + MeSS

Keynotes

Keynotes

MeSS + Agile MDE

Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICGT Research Papers + Keynotes

LLM4MDE + Keynotes

LLM4MDE

Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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