WORKSHOP ANNOUNCEMENT AND CALL FOR PAPERS WIFT'98 Workshop on Industrial-strength Formal specification Techniques October 21-24, 1998 Boca Raton, Florida USA Sponsored by Technical Committee on Complex Computing, IEEE Computer Society, in association with Florida Atlantic University ---------------------------------------------------------------------------- There is a growing realization that formal specification techniques (FSTs), when effectively incorporated into development processes, can lead to the creation of high quality systems. This has led to heightened research interest in the problems associated with the industrial applications of FSTs. An important area of research in this respect is concerned with the development of industrial-strength development processes based on FSTs. Such processes are needed to support effective and systematic application of FSTs in an industrial development environment. Based on the enthusiasm and momentum generated at WIFT'95, WIFT'98 aims to again bring together researchers and practitioners from around the world to work on problems in the industrial application of FSTs. The following are some of the topics that will be emphasized during the workshop: * Incorporating FSTs into the development process * Integrating formal and informal specification techniques * Use of FSTs in software reengineering * Use of FSTs in domain analysis and systematic reuse processes * Industrial applications of FSTs * CASE tool support for FSTs * FSTs and software engineering education * Formal specification and verification of hardware Papers for publication are solicited on research, industrial experience, and case studies. In addition, proposals for full or half day tutorials and panel sessions are solicited. -------------------------------------------------- Submission Information: A submitted paper or proposal must be in English, must not have been published or submitted elsewhere for publication, must be printed using at least 11pt type and 1-1/2 line spacing and should not exceed 20 pages. A proposal for a panel session should include a statement of objectives, short biographies of potential participants (participants should be committed before proposal is submitted), a brief description of the subject to be covered, and the group's rationale and relevance to the workshop. Five copies of the paper or panel proposal should be submitted to the Program Chair by March 30, 1998. PROGRAM CHAIR Betty Cheng Department of Computer Science Michigan State University 3115 Engineering Building East Lansing, MI 48824-1226 email: chengb@cps.msu.edu -------------------------------------------------- We are seeking tutorial proposals that cover the breadth of formal methods use. Tutorials must address techniques and tools that are industrial strength. Introductory tutorials are highly encouraged. A tutorial proposal should include a detailed outline of the material, a description of past experiences with the tutorial, an assessment of the materials' maturity, and credentials of the instructor. Five copies of the proposal should be submitted to the tutorial chair by March 30, 1998. TUTORIAL CHAIR Perry Alexander Electrical and Computer Engineering and Computer Science University of Cincinnati 814 Rhodes Hall P.O. Box 210030 (Don't include P.O. Box if using Fed Ex or UPS) Cincinnati, OH 45221-0300 email: Perry.Alexander@uc.edu -------------------------------------------------- Please submit a description of the tool and the demonstration to the Tools Chair by June 1, 1998. The description should also include the type of equipment that will be brought, networking requirements, and any equipment that will be needed from the conference site (e.g., power cords, overhead, etc.) TOOLS CHAIR Bob Busser Manager, CAE Department Motorola PPG 1500 Gateway Blvd MS 70 Boca Raton, FL 33428 email: rbusser@pts.mot.com -------------------------------------------------- General questions regarding the workshop may be directed to the Workshop General Chair. GENERAL CHAIR Michael Hinchey Department of Computer and Information Science New Jersey Institute of Technology University Heights Newark, New Jersey 07102 ph: (201) 596-5750; fax: (201) 596-5777 email: hinchey@cis.njit.edu LOCAL ARRANGEMENTS CO-CHAIRS Robert France, Maria Larrondo-Petrie, Dept. of Computer Science and Engineering, Florida Atlantic University, Boca Raton, FL 33431-0991, USA tel (Robert): +1-561-297-3857 tel (Maria): +1-561-297-3899 fax: +1-561-297-2800 email: robert@cse.fau.edu email: maria@cse.fau.edu Tentative Deadlines: -------------------------------------------------- March 30, 1998: Submission deadline June 1, 1998: Acceptance notification July 15, 1998: Camera-ready copy PROGRAM COMMITTEE (partial) -------------------------------------------------- Perry Alexander (University of Cincinatti) Dan Craigen (ORA, Canada.) Laura Dillon (Michigan State University) Robert France (Florida Atlantic University) Lalita Jagadeesan (Bell Laboratories/Lucent Technologies) Susan Gerhart (Research Outlet and Integration) Mats Heimdahl (University of Minnesota) Connie Heitmeyer (Naval Research Laboratory) John Kelly (NASA Jet Propulsion Laboratory) Shaoying Liu (Hiroshima University, Japan) Mauro Pezze (Politecnico Di Milano, Italy) Mark Staskavskas (Bell Laboratories/Lucent Technologies) Neeraj Suri (New Jersey Institute of Technology) Frank Weil (Motorola) Workshop Location -------------------------------------------------- The term `Silicon Beach' has been applied by many to the quiet seaside community called Boca Raton. And, it has come about almost overnight due to the well-known high tech industries located there. Long known as a residential haven or a playground of the rich, Boca Raton became a financial hunting ground in 1984 as businessmen transformed it into the busiest commercial area in South Florida. Located halfway between West Palm Beach and Fort Lauderdale, Boca Raton boasts an average temperature of 74 degrees and year long sunshine. It's bordered on the east by the Atlantic Ocean, giving access to all sea, sun, and sand activities. Primary attractions include over two miles of public beach with well-planned parks, beautiful residential communities, year round fishing and golfing, modern shopping facilities, and some of the finest restaurants in South Florida.