STAF 2024
Mon 8 - Thu 11 July 2024
Enschede, Netherlands
Toggle navigation
Attending
Venue: University of Twente
Accommodation
Registration
Conference Reception and Dinner
Program
Complete Program
Your Program
Mon 8 Jul
Tue 9 Jul
Wed 10 Jul
Thu 11 Jul
Tracks
STAF 2024
Call for Workshops
Keynotes
Co-hosted Conferences
ECMFA
ECMFA
ECMFA
Technical Track
ICGT
ICGT
ICGT
Research Papers
ICGT
Journal-First
WADT
WADT
WADT
Research papers
Workshops
Agile MDE
GCM
LLM4MDE
MeSS
Organization
STAF 2024 Committees
Organizing Committee
Steering Committee
Contributors
People Index
Co-hosted Conferences
ECMFA
Steering Committee
Program Committee
ICGT
Steering Committee
Program Committee
WADT
Steering Committee
Programme Committee
Workshops
Agile MDE
Organizing Committee
Program Committee
GCM
Program Committee
LLM4MDE
Organizing Committee
Program Committee
MeSS
Organizing Committee
Program Committee
Steering committee
Search
Series
Series
STAF 2024
STAF 2023
Sign in
Sign up
STAF 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
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
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
The Algebraic Structure of Parametric Array Theories
WADT
P:
Rodrigo Raya
Max-Planck Institute for Software Systems
File Attached
11:30
30m
Talk
Separating Code and Semantics for Maintainability
WADT
P:
Sebastiaan Joosten
University of Minnesota Twin Cities
File Attached
12:00
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
13:30 - 15:00
WADT Keynote Session 2
WADT
/
Keynotes
at
Waaier 3
Chair(s):
Uwe Wolter
University of Bergen
13:30
30m
Keynote
WADT Keynote 2 - Conditional Equational Logic of Common Meadows
Keynotes
K:
Jan Bergstra
University of Amsterdam
14:00
30m
Talk
Categories of Algebraic Rewrite Rules
WADT
P:
Thierry Boy de La Tour
CNRS and University Grenoble Alpes
File Attached
14: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
15:30 - 17:00
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
,
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
,
Manuel A. Martins
University of Aveiro
,
Alexandre Madeira
University of Aveiro
File Attached
16:30
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
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
10:10
20m
Long-paper
Software language translation by example
Agile MDE
Q. Xue
11:00 - 12:30
AgileMDE Keynote Session
Keynotes
at
Waaier 3
11:00
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
13:30 - 15:00
AglieMDE & MeSS Session
MeSS
/
Agile MDE
at
Waaier 3
13:30
20m
Short-paper
Model Driven Engineering in Finance: Bond Valuation, From Formulae to Code
Agile MDE
Asad Rahman
13: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
14:10
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/
14:30
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
14:50
10m
Talk
Epsilon Playground Demo
MeSS
Dimitris Kolovos
University of York
15:30 - 17:00
MeSS Keynote Session
Keynotes
at
Waaier 3
Chair(s):
Robbert Jongeling
Mälardalen University
15:30
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
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
Waaier 3
Keynotes + WADT
WADT Keynote Session 1
WADT
WADT Session 1
WADT + 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
GCM
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
AgileMDE Keynote Session
MeSS + Agile MDE
AglieMDE & MeSS Session
Keynotes
MeSS Keynote 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
LLM4MDE
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
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
The Algebraic Structure of Parametric Array Theories
11:00 - 11:30
WADT
Separating Code and Semantics for Maintainability
11:30 - 12:00
WADT
Practical Source Code Weaving for Distributed Workflow Abstractions
12:00 - 12:30
STAF Keynotes
WADT Keynote 2 - Conditional Equational Logic of Common Meadows
13:30 - 14:00
WADT
Categories of Algebraic Rewrite Rules
14:00 - 14:30
WADT
Reconciling Quantum Theory and Process Calculi via Physically Admissibl ...
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
Topological Inquiry in Abstract Model Theory
16:30 - 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
AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Pr ...
11:00 - 12:30
Agile MDE
Model Driven Engineering in Finance: Bond Valuation, From Formulae to Code
13:30 - 13:50
Agile MDE
Towards agile collaborative multi-view modeling with inconsistency tole ...
13:50 - 14:10
MeSS
Digital Twins for IoT Systems: Exploiting Synergies between Industry an ...
14:10 - 14:30
MeSS
Towards Quantum-based Graph Matching for IoT Systems (Extended Abstract)
14:30 - 14:50
MeSS
Epsilon Playground Demo
14:50 - 15:00
STAF Keynotes
MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns ...
15:30 - 17:00
x
Sat 29 Jun 03:28