DSV-IS:

12th International Workshop on the Design, Specification and Verification of Interactive Systems (DSV-IS 2005)

July 13, 2005 - July 15, 2005, Newcastle upon Tyne, United Kingdom

http://www.dsvis2005.org/

Deadlines

Calls