The Vesuf architecture will be presented at June 12th, at the 9th International Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS 2002) in Rostock, Germany.
For details on the workshop see http://www.dsvis2002.org/