The workshop intends to provide a forum for critical discussion for people who are interested in the various technical aspects of formal methods and visualization. All contributions should take into account the integration of formal methods and visualization concepts. The contributors should keep in mind that the goals of the workshop will be best fulfilled if a lively and fruitful communication between research and industry can be initiated. Its working language is English. Besides technical talks of roughly 30 minutes each, including discussion, also invited talks by distinguished speakers and tool demonstrations are planned.
Electronic submission is encouraged via email.
The notification of acceptance will be per E-mail. Proceedings for the participants will include all the accepted contribu- tions.