GCM 2024
Tue 9 Jul 2024
Enschede, Netherlands
co-located with
STAF 2024
Toggle navigation
Attending
Venue: University of Twente
Program
Complete Program
Your Program
Tue 9 Jul
Tracks
GCM 2024
GCM 2024
STAF 2024
Keynotes
Organization
GCM 2024 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
GCM 2024
GCM 2023
Sign in
Sign up
STAF 2024
(
series
) /
GCM 2024 (
series
) /
University of Twente
/
Room information: Waaier 3
Venue
University of Twente
Room name
Waaier 3
Floor
0
Room Information
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 1
STAF Keynotes
/
WADT
at
Waaier 3
Chair(s):
Tom van Dijk
University of Twente
09:00
60m
Keynote
WADT Keynote 1 - Some Uses of Modal Semirings
STAF 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
11:00 - 12:30
WADT Session 1
WADT
at
Waaier 3
Chair(s):
Alexandre Madeira
University of Aveiro
11:00
30m
Talk
Separating Code and Semantics for Maintainability
WADT
P:
Sebastiaan Joosten
University of Minnesota Twin Cities
File Attached
11:30
30m
Talk
Practical Source Code Weaving for Distributed Workflow Abstractions
WADT
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
P:
Rodrigo Raya
Max-Planck Institute for Software Systems
File Attached
13:30 - 15:00
WADT Keynote Session 2
WADT
/
STAF Keynotes
at
Waaier 3
Chair(s):
Uwe Wolter
University of Bergen
13:30
60m
Keynote
WADT Keynote 2 - Common Meadows with Infinite Values
STAF 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
15:30 - 17:30
WADT Session 2
WADT
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
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
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
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
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 1
GCM 2024
at
Waaier 3
Chair(s):
Jörg Endrullis
Vrije Universiteit Amsterdam
11:00
30m
Research paper
Linear-Time Graph Programs for Unrestricted Graphs
GCM 2024
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 2024
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 2024
Mattia De Rosa
University of Salerno
,
Mark Minas
Universität der Bundeswehr München
Pre-print
13:30 - 15:00
GCM Session 2
GCM 2024
at
Waaier 3
Chair(s):
Dominik Grzelak
Technische Universität Dresden
13:30
30m
Research paper
An Encoding of Interaction Nets in OCaml
GCM 2024
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 2024
Ebtihal Althubiti
,
Michele Sevegnani
University of Glasgow
Pre-print
14:30
30m
Research paper
Modelling Real-time Systems with Bigraphs
GCM 2024
Maram Albalwe
,
Blair Archibald
University of Glasgow
,
Michele Sevegnani
University of Glasgow
Pre-print
15:30 - 17:00
GCM Lightning Talks
GCM 2024
at
Waaier 3
Chair(s):
Reiko Heckel
University of Leicester
Special Session on Graph Transformation and AI
Wed 10 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
AgileMDE Session 1
Agile 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 Session
STAF Keynotes
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
STAF Keynotes
K:
Giancarlo Guizzardi
Media Attached
13:30 - 15:00
AgileMDE Keynote Session
STAF Keynotes
at
Waaier 3
13:30
90m
Keynote
AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes
STAF Keynotes
K:
Iván Alfonso
Luxembourg Institute of Science and Technology
15:30 - 17:00
AglieMDE & MeSS Session
MeSS
/
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 Session
ICGT Research Papers
/
STAF Keynotes
at
Waaier 3
Chair(s):
Jens Kosiol
Universität Kassel
09:00
60m
Keynote
ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs
STAF 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 Session
LLM4MDE
/
STAF 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
STAF Keynotes
K:
Juri Di Rocco
University of L'Aquila
File Attached
13:30 - 15:00
LLM4MDE Session
LLM4MDE
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
STAF Keynotes + WADT
WADT Keynote Session 1
WADT
WADT Session 1
WADT + STAF Keynotes
WADT Keynote Session 2
WADT
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 2024
GCM Session 1
GCM 2024
GCM Session 2
GCM 2024
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
STAF Keynotes
MeSS Keynote Session
STAF 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 + STAF Keynotes
ICGT Keynote Session
LLM4MDE + STAF 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
Bialgebraic Representation of Controlled Coordination of Interacting Sy ...
10:00 - 10:30
WADT
Separating Code and Semantics for Maintainability
11:00 - 11:30
WADT
Practical Source Code Weaving for Distributed Workflow Abstractions
11:30 - 12:00
WADT
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
Categories of Algebraic Rewrite Rules
14:30 - 15:00
WADT
On the Algebra of Reactive Graphs
15:30 - 16:00
WADT
Formal Specification with Many-Logics Modal Logic
16:00 - 16:30
WADT
Reconciling Quantum Theory and Process Calculi via Physically Admissibl ...
16:30 - 17:00
WADT
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
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
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
x
Tue 16 Jul 09:45