WADT 2014
22nd International Workshop on Algebraic Development Techniques
Sinaia, Romania,September 4-7,2014
WADT 2014 Invited speakers
The invited speakers of WADT 2014 will be:
K. Rustan M. Leino
Christoph Benzmüller
Home
Format & Location
Registration
Committees
Important Dates
Speakers
Program
Submission
Travel
Accommodation
Sponsors & Grants
Contact