Call for papers
The Programme Committee of WADT 2024 welcomes contributions describing original research on all aspects of algebraic specification and formal software development. Typical, but not exclusive topics of interest are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Model-driven development
- Graph transformations, term rewriting, and proof systems
- Integration of formal specification techniques
- Theorem-proving technologies and integration with specification languages
- Formal testing and quality assurance, validation, and verification
- Algebraic approaches to knowledge representation and cognitive sciences
Workshop format and location
The workshop will be part of the STAF 2024 multi-conference at Twente, the Netherlands. Presentations will be selected on the basis of submitted abstracts.
Invited speakers
Jan Bergstra (UvA, Netherlands) and Bernhard Möller (Uni Augsburg, Germany)
Important dates
Abstract submission (round 2): 10 May 2024
Abstract notification (round 2): 17 May 2024
Full-paper submission: 16 Sep 2024
Full-paper notification: 25 Nov 2024
Submissions
The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Programme Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages, including references, in LNCS format. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract.
The abstracts will have to be submitted electronically via EasyChair.
Post-proceedings
After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. The selection of papers will be based on originality, soundness, and significance of the presented ideas and results. The post-proceedings will then be published by Springer as a volume of Lecture Notes in Computer Science.
Sponsorship
The workshop takes place under the auspices of IFIP WG 1.3.
Mon 8 JulDisplayed 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 | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break STAF Catering | ||
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 | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch STAF Catering | ||
13:30 - 15:00 | WADT Keynote Session 2Research papers / STAF Keynotes at Waaier 3 Chair(s): Uwe Wolter University of Bergen | ||
13:30 60mKeynote | WADT Keynote 2 - Common Meadows with Infinite Values STAF Keynotes File Attached | ||
14:30 30mTalk | Categories of Algebraic Rewrite Rules Research papers File Attached | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break STAF Catering | ||
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 30mTalk | 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 30mTalk | 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 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 | ||
17:00 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 | ||
18:00 - 21:30 | |||
18:00 3h30mDinner | Dinner STAF Catering | ||
Tue 9 JulDisplayed 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
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 | MeSS Keynote SessionSTAF Keynotes at Waaier 3 Chair(s): Stefan Klikovits Johannes Kepler University, Linz | ||
11:00 90mKeynote | MeSS Keynote: It's Patterns all the Way Down: Patterns, Anti-Patterns and Pattern Languages for Next-Generation Semantic Modelling STAF Keynotes Media Attached | ||
13:30 - 15:00 | |||
13:30 90mKeynote | AgileMDE Keynote: Low-Code and Low-Modeling Strategies for Agile MDE Processes STAF Keynotes | ||
Thu 11 JulDisplayed 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 60mKeynote | ICGT Keynote 2: Ontological Foundations for Building Knowledge Graphs STAF Keynotes | ||
10:00 30mTalk | Can I teach graph rewriting to my chatbot? ICGT Research Papers File Attached | ||
11:00 - 12:30 | |||
11:00 15mDay opening | LLM4MDE Opening LLM4MDE File Attached | ||
11:15 60mKeynote | LLM4MDE Keynote: Harnessing Large Language Models for Model-Driven Engineering: Current Applications and Future Directions STAF Keynotes File Attached | ||
Contributing talks
Post-proceedings
The post-proceedings of WADT 2024 will be published by Springer as a volume of Lecture Notes in Computer Science.
Submission instructions:
- The papers need to be in LNCS format; please consult Springer’s Instructions for Authors of Proceedings.
- Papers should be 12–16 pages in length, excluding references and appendices; if you include information in an appendix, please note that it won’t appear in the post-proceedings, even though it will be used during reviewing.
- When preparing the full version of your contribution, please also consult the Springer Code of Conduct.
- The papers need to be submitted using the STAF 2024 EasyChair instance by selecting the WADT track during the submission process.
- The submission deadline is Monday, 16 September 2024.
All submissions will be reviewed by the WADT 2024 Programme Committee, and the final selection will be based on originality, soundness, and significance of the presented ideas and results.