WADT
All Editions
Mon 29 June - Fri 3 July 2026 WADT 2026 with STAF 2026Welcome to the website of the WADT 2026 conference. We are working hard to fill the website with all related information. Please check back soon! |
Mon 8 Jul 2024 Enschede, NetherlandsWADT 2024 with STAF 2024The 27th International Workshop on Algebraic Development Techniques (WADT 2024) will be held in Enschede, the Netherlands, as part of STAF 2024 (Software Technologies: Applications and Foundations). The workshop will take place under the auspices of IFIP WG 1.3. Aims and scope The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a for ... |