WADT 2024
Mon 8 Jul 2024 Enschede, Netherlands
co-located with STAF 2024
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 1STAF Keynotes / 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
STAF Keynotes
K: Bernhard Möller University of Augsburg
File Attached
10:00
30m
Talk
Bialgebraic Representation of Controlled Coordination of Interacting System Components
Research papers
P: Harald König FHDW University of Applied Sciences, Uwe Wolter University of Bergen
File Attached
11:00 - 12:30
WADT Session 1Research papers at Waaier 3
Chair(s): Alexandre Madeira University of Aveiro
11:00
30m
Talk
Separating Code and Semantics for Maintainability
Research papers
P: Sebastiaan Joosten University of Minnesota Twin Cities
File Attached
11:30
30m
Talk
Practical Source Code Weaving for Distributed Workflow Abstractions
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
Research papers
P: Rodrigo Raya Max-Planck Institute for Software Systems
File Attached
13:30 - 15:00
WADT Keynote Session 2Research papers / 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
Research papers
P: Thierry Boy de La Tour CNRS and University Grenoble Alpes
File Attached
15:30 - 17:30
WADT Session 2Research 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
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
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
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
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

09:00 - 10:30
ECMFA Keynote SessionSTAF Keynotes at Waaier 2
09:00
90m
Keynote
ECMFA Keynote - From Data Chaos to Decision Making
STAF Keynotes
K: Agnes Koschmider University of Bayreuth

Wed 10 Jul

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

09:00 - 10:30
ICGT Keynote SessionSTAF Keynotes / 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
STAF Keynotes
K: Marielle Stoelinga University of Twente and Radboud University, Nijmegen
13:30 - 15:00
AgileMDE Keynote SessionSTAF 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

Thu 11 Jul

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

09:00 - 10:30
ICGT Keynote SessionICGT 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 SessionLLM4MDE / 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