WADT 2024
Mon 8 - Fri 12 July 2024 Enschede, Netherlands
co-located with STAF 2024

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: 15 Apr 2024 22 Apr 2024
Abstract notification: 29 Apr 2024
Full-paper submission: 16 Sep 2024
Full-paper notification: 25 Nov 2024


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.


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.


The workshop takes place under the auspices of IFIP WG 1.3.