Overture 2012 - 10th International Workshop Overture/VDM

10th International Workshop Overture/VDM
Organized by Nico Plat West Consulting, the Netherlands and Claus Ballegard Nielsen, Aaurus University, Denmark and Steve Riddle, Newcastle University, UK
The proposed workshop will emphasise topics that mesh closely with the themes of FM 2012 itself, particularly application experience in industry, validation of tools and methods and the development of tools. The aim of the workshop is to identify and encourage new collaborative research, and to foster current strands of work towards publication in the mainstream conferences and journals. Proceedings will therefore be issued as a technical report and online, but we do not plan separate proceedings volume in LNCS or a special journal issue unless the quality of the papers is subsequently seen to merit it.
more info at http://wiki.overturetool.org/index.php/10th_Overtu...