ICGT 2024
Wed 10 - Thu 11 July 2024
Enschede, Netherlands
co-located with
STAF 2024
Toggle navigation
Attending
Venue: University of Twente
STAF 2024
Accommodation
Registration
Conference Reception and Dinner
History
Program
Complete Program
Your Program
Wed 10 Jul
Thu 11 Jul
Tracks
ICGT 2024
ICGT Research Papers
ICGT Journal-First
STAF 2024
Keynotes
Organization
ICGT 2024 Committees
Steering Committee
Program Committee
Contributors
People Index
Search
Series
Series
ICGT 2024
ICGT 2023
Sign in
Sign up
STAF 2024
(
series
) /
ICGT 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
This program is tentative and subject to change.
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
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
at
Waaier 3
Chair(s):
Jörg Endrullis
Vrije Universiteit Amsterdam
11:00
30m
Research paper
Linear-Time Graph Programs for Unrestricted Graph Classes
GCM
Ziad Ismaili Alaoui
Department of Computer Science, University of York
,
Detlef Plump
University of York
11:30
30m
Research paper
Scalable Pattern Matching in Computation Graphs
GCM
Luca Mondada
University of Oxford
,
Pablo Andres-Martinez
University of Edinburgh
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
13:30 - 15:00
GCM Session 2
GCM
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
14:00
30m
Research paper
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
GCM
Ebtihal Althubiti
,
Michele Sevegnani
University of Glasgow
14:30
30m
Research paper
Modelling Real-time Systems with Bigraphs
GCM
Maram Albalwe
,
Blair Archibald
University of Glasgow
,
Michele Sevegnani
University of Glasgow
15:30 - 17:00
GCM Lightning Talks
GCM
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
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):
Robbert Jongeling
Mälardalen University
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
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
15:30
20m
Short-paper
Model Driven Engineering in Finance: Bond Valuation, From Formulae to Code
Agile MDE
Asad Rahman
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
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
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
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
A:
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
A:
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
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
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
11:00
30
12:00
30
13:00
30
14:00
30
Waaier 3
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 Graph Classes
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
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Waaier 3
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
Mon 8 Jul 07:22