WIFT'98

<body bgcolor="#FFFFFF" link="#D08344"> <p> </p> <div align="center"><center><table border="0" cellspacing="1" width="100%"> <tr> <th valign="top" width="150"><div align="center"><center><table border="1" cellspacing="1" width="100%" bgcolor="#0080FF"> <tr> <td align="center" width="150"><h2>About WIFT'98</h2> <p><font color="#FFFFFF"><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="committee.html">WIFT Committee Members</a></font></p> <hr> <p><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="schedule.html"><font color="#FFFFFF">WIFT'98 Program</font></a></p> <p><font color="#FFFFFF"><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="genpapers.html">WIFT General Session Papers</a></font></p> <p><font color="#FFFFFF"><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="group-reports.html">Group Reports (draft)</a></font></p> <p><font color="#FFFFFF"><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="http://www.cps.msu.edu/~chengb/wift-tutorials.html">WIFT Tutorials</a></font></p> <p><font color="#FFFFFF"><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="tools">WIFT Tool Demonstrations</a></font></p> <p><font color="#FFFFFF"><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="wift-attendees">WIFT Participants</a></font></p> <hr> <p><font color="#FFFFFF"><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="information.html">Travel Information</a></font></p> <p><font color="#FFFFFF"><img src="Gifs/blueknob.gif" width="20" height="13"> <a href="Hotel.html">Hotel Reservations</a></font></td> </tr> </table> </center></div></th> <td><a href="http://www.cps.msu.edu"><img src="http://www.msu.edu:80/msurev1.gif"></a><h1>Workshop on Industrial-Strength Formal Specification Techniques</h1> <h1>WIFT'98</h1> <h2>Sponsored by the <a href="http://www.computer.org">IEEE-Computer Society</a></h2> <h2><br> </h2> <p>Welcome to the WIFT'98 homepage. <a href="file://www.cse.msu.edu/WIFT98">WIFT'98</a> is sponsored by the <a href="http://www.computer.org">IEEE-Computer Society's</a> Technical Council on Complex Computing, in association with <a href="http://rs6000.adm.fau.edu/fau.home">Florida Atlantic University</a>. It aims to bring together software engineering professionals interested in, or working with <a href="http://www.comlab.ox.ac.uk/archive/formal-methods.html">formal methods/specification techniques</a>, to report on, analyze, and synthesize experiences related to the industrial uses of formal techniques.</p> <p>WIFT'98 will be held in <a href="Boca.html">Boca Raton, Florida</a>, on October 21-23, 1998, at the <a href="Hotel.html">Sheraton Inn</a>. The workshop consisted of tutorials, tools, general, and working group sessions. Technical papers were presented in the general sessions and experiences were analyzed and synthesized in the working group sessions.</p> <p> </p> <p><a href="committee.html"><img src="Gifs/phone.gif" width="39" height="39"> WIFT contacts</a></p> <hr> </td> </tr> </table> </center></div><hr> <p><i>Last edited Sept. 24, 1997, by Betty Cheng <a href="mailto:martiser@cps.msu.edu">martiser@cps.msu.edu</i> </a></p> </body>