Post-proceedings

The WADT 2024 post-proceedings has been published and is now available online as the LNCS volume 15587. You can find information about it via SpringerLink.

Workshop participants can freely access, for a limited period of 4 weeks, the post-proceedings of WADT 2024 on the Springer website, at the following address:

Recent Trends in Algebraic Development Techniques, 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers