The Advance Program and Registration Information is available.
WIFT'95 will bring together software engineering professionals from North America, Europe, and Asia to report on, analyze, and synthesize experiences related to the industrial applications of formal specification techniques. The workshop has three major parts: tutorials, general technical sessions, and working group sessions. The tutorials cover some of the more established formal methods tools, techniques and methods that are currently used in industries and government agencies. Papers in the general technical session vary from those that report on experiences, to those that present novel approaches to, and/or perspectives on, the industrial applications of formal methods. The group sessions provide highly-focused and structured forums for analyzing and synthesizing experiences related to the industrial uses of formal methods. There will also be a tools session in which demonstrations of tools supporting the building and manipulation of formal specifications will be given.
Full information is available on the WWW .