STAF 2024 (series) / WADT 2024 (series) /
WADT 2024 Program
This is the WADT 2024 program - see the full program for STAF 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 60mKeynote | WADT Keynote 1 - Some Uses of Modal Semirings STAF Keynotes File Attached | ||
10:00 30mTalk | Bialgebraic Representation of Controlled Coordination of Interacting System Components Research papers File Attached |
11:00 - 12:30 | |||
11:00 30mTalk | Separating Code and Semantics for Maintainability Research papers File Attached | ||
11:30 30mTalk | 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 30mTalk | The Algebraic Structure of Parametric Array Theories Research papers 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 30mKeynote | WADT Keynote 2 - Conditional Equational Logic of Common Meadows STAF Keynotes | ||
14:00 30mTalk | Categories of Algebraic Rewrite Rules Research papers File Attached | ||
14:30 30mTalk | 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 |
15:30 - 17:00 | WADT Session 2Research papers at Waaier 3 Chair(s): Thierry Boy de La Tour CNRS and University Grenoble Alpes | ||
15:30 30mTalk | On the Algebra of Reactive Graphs Research papers 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 30mTalk | Formal Specification with Many-Logics Modal Logic Research papers Alfredo R. Freire University of Brası́lia, Manuel A. Martins University of Aveiro, Alexandre Madeira University of Aveiro File Attached | ||
16:30 30mTalk | 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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 9 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | ECMFA Keynote - From Data Chaos to Decision Making STAF Keynotes |
Wed 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 15mDay opening | ICGT Opening ICGT Research Papers | ||
09:15 75mKeynote | ICGT Keynote: Graphs, Logics and Transformations for Effective Risk Analysis STAF Keynotes |
11:00 - 12:30 | |||
11:00 90mKeynote | AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes STAF Keynotes |
13:30 - 15:00 | |||
13:30 90mKeynote | MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling STAF Keynotes |
Thu 11 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 2 Chair(s): Jens Kosiol Universität Kassel | ||
09:00 60mKeynote | ICGT Keynote 2 STAF Keynotes | ||
10:00 30mTalk | Can I teach graph rewriting to my chatbot? ICGT Research Papers |
11:00 - 12:30 | |||
11:00 15mDay opening | LLM4MDE Opening LLM4MDE | ||
11:15 60mKeynote | LLM4MDE Keynote STAF Keynotes |