DSV-IS:

XIII International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 2006)

July 26, 2006 - July 28, 2006, Dublin, Ireland

https://www.cs.tcd.ie/DSVIS06/

Deadlines

Calls