Home > Resources > Events > DSV-IS: International Workshop on Design, Specification and Verification of Interactive Systems

DSV-IS: International Workshop on Design, Specification and Verification of Interactive Systems

The International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS) has been held annually since 1994.

DSV-IS 2008: 14th International Workshop on Design, Specification and Verification of Interactive Systems
July 16-18, 2008, Kingston, Ontario, Canada
http://www.cs.queensu.ca/dsvis2008/

DSV-IS 2006: 13th International Workshop on Design, Specification and Verification of Interactive Systems
July 26-28, 2006, Dublin, Ireland
http://www.dsvis2006.org/
https://www.cs.tcd.ie/DSVIS06/

DSVIS 2005: 12th International Workshop on Design, Specification and Verification of Interactive Systems
July 13-15, 2005, Newcastle-upon-Tyne, UK

EHCI-DSVIS 2004: 9th IFIP Working Conference on Engineering for Human-Computer Interaction + 11th International Workshop on Design, Specification and Verification of Interactive Systems
July 11-13, 2004, Hamburg, Germany
http://www.se-hci.org/ehci-dsvis04/

DSV-IS 2003: 10th International Workshop on Design, Specification and Verification of Interactive Systems
Bricks & Blocks: Towards Effective User Interface Patterns and Components
June 4-6, 2003, Funchal, Madeira Island, Portugal
http://virtual.inesc.pt/dsvis03/

DSV-IS 2002: 9th International Workshop on Design, Specification and Verification of Interactive Systems
Bricks & Blocks: Towards Effective User Interface Patterns and Components
June 12-14, 2002, Rostock, Germany

DSV-IS 2001: 8th International Workshop on Design, Specification and Verification of Interactive Systems
June 13-15, 2001, Glasgow, Scotland, UK

DSV-IS 2000: 7th International Workshop on Design, Specification and Verification of Interactive Systems
Models in Design of Interactive Systems and Usability Evaluation
June 5-6, 2000, Limerick, Ireland
http://giove.cnuce.cnr.it/dsvis2000.html
Proceedings: Palanque, P. & Paternò, F. (Eds.). Interactive systems: Design, specification, and verification. 7th International Workshop, DSV-IS 2000, Limerick Ireland, June 2000. Revised Papers. Lecture Notes in Computer Science Vol. 1946. Springer Verlag.

DSV-IS 99: 6th International Eurographics Workshop on Design, Specification and Verification of Interactive Systems
Engaging the Mind through Enriching the Senses
June 2-4, 1999, Braga, Portugal
http://www.irit.fr/recherches/LIIHS/event/dsvis/dsvis99/
Proceedings: D. J. Duke & A. Puerta (Eds). Vienna, Austria: Springer-Verlag.

DSV-IS 98: 5th International Eurographics Workshop on Design, Specification and Verification of Interactive Systems
Modelling and Design
June 3-5, 1998, Abingdon, UK
http://www.irit.fr/recherches/LIIHS/event/dsvis/dsvis98/
Proceedings: P. Markopoulos & P. Johnson (Eds.). Design, Specification and Verification of Interactive Systems '98. Vienna, Austria: Springer-Verlag.

DSV-IS 97: 4th International Eurographics Workshop on Design, Specification, and Verification of Interactive Systems
June 4-6, 1997, Granada, Spain
http://www.irit.fr/recherches/LIIHS/event/dsvis/dsvis97/dsvis97.html
Proceedings: M. D. Harrison & J. C. Torres (Eds.). Design, Specification and Verification of Interactive Systems '97. Vienna, Austria: Springer-Verlag.

DSV-IS 96: 3rd International Eurographics Workshop on Design, Specification, and Verification of Interactive Systems
June 5-7, 1996, Namur, Belgium
http://www.irit.fr/recherches/LIIHS/event/dsvis/dsvis96/dsvis96.html
Proceedings: F. Bodart, J. Vanderdonckt, University of Namur, Belgium (Eds.). Design, Specification and Verification of Interactive Systems '96. Vienna, Austria: Springer-Verlag

DSV-IS 95: 2nd International Eurographics Workshop on Design, Specification, and Verification of Interactive Systems
June 7-9, 1995, Château de Bonas, France
http://www.irit.fr/recherches/LIIHS/event/dsvis/dsvis95/dsvis95.html
Proceedings: P. Palanque & R. Bastide (Eds.). Design, Specification and Verification of Interactive Systems '95 Vienna, Austria: Springer-Verlag

DSV-IS 94: 1st International Eurographics Workshop on Design, Specification, and Verification of Interactive Systems
June 8-10, 1994, Carrara, Italy
http://www.irit.fr/recherches/LIIHS/event/dsvis/dsvis94/dsvis94.html
Proceedings: F. Paterno (Ed.). Interactive systems: Design, specification, and verification. Vienna, Austria: Springer-Verlag