WADT 2014
22nd International Workshop on Algebraic Development Techniques
Sinaia, Romania,September 4-7,2014
Steering Committee
- Michel Bidoit (France)
- Andrea Corradini (Italy)
- José Fiadeiro (UK)
- Rolf Hennicker (Germany)
- Hans-Jörg Kreowski (Germany)
- Till Mossakowski (Germany)-chair
- Fernando Orejas (Spain)
- Francesco Parisi-Presicce (Italy)
- Grigore Roșu (United States)
- Andrzej Tarlecki (Poland)