DSV-IS'94 Home Page 1st International Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (Bocca di Magra, Italy, 8-10 June 1994). Organiser : F. Paternò, CNUCE-CNR, Italy Final Proceedings Table of contents How to order proceedings Trip report Pictures of the workshop Call for participation Background Submission topics Submission categories Submission information International committees Sponsors