WADT
All Editions
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 f ... |
Steering Committee (WADT 2024)
Andrea Corradini
University of Pisa
Italy
José Fiadeiro
University of Dundee
United Kingdom
Rolf Hennicker
Ludwig Maximilians University Munich
Germany
Alexander Knapp
University of Augsburg
Germany
Hans-Jörg Kreowski
University of Bremen
Germany
Till Mossakowski
Otto-von-Guericke University Magdeburg
Germany
Fernando Orejas
Universitat Politècnica de Catalunya
Spain
Leila Ribeiro
Universidade Federal do Rio Grande do Sul (UFRGS)
Brazil
Markus Roggenbach
Swansea University, Swansea
United Kingdom
Grigore Roşu
University of Illinois at Urbana-Champaign
United States