Formal methods are no longer a curiosity.
In some organisations and in a growing number of industries they are or are striving to be an expected matter of practice. Benefit to the community is gained by the accumulated sets of models, theories, techniques, languages, tools, libraries, and case studies developed by scientists and engineers from around the world. The Technical Symposium will have invited speakers and regular sessions with presentations by authors of technical papers and experience reports. Human Computer Interface . WWW, OMG, ODP, etc Regulation and Law.