CFP: Workshop on Industrial-strength Formal specification Techniques

It would be nice to have some Larch-related work reported at the workshop...

------- Forwarded Message

From: Robert France <robert@sunrise.cse.fau.edu>
Date: Fri, 24 Jun 94 10:15:52 EDT
Subject: FM workshop (WIFT'95)

Appended to this message is a call for papers for the Workshop on
Industrial-Strength Formal Specification Techniques (WIFT'95) which
will be held in Boca Raton, in the first week of April 1995. We, the
organizers of WIFT'95, will very much like you to contribute to the
content of the workshop by submitting materials (paper/discussion group or
tutorial proposal) that address your experiences with the use of FSTs
(in particular, the Larch toolset). If you require further information
please do not hesitate to contact me...

Thank you for your attention. We hope we hear from you soon.



Robert B. France                              |    Tel: (407) 367-3857
CS&E Dept, Florida Atlantic University,       |    Fax: (407) 367-2800   
Boca Raton, FL 33431-0991                     |    email: robert@cse.fau.edu

                       CALL FOR PAPERS

              Workshop on Industrial-strength 
              Formal specification Techniques

                      April 5-8, 1995
                   Boca Raton, Florida USA

               Sponsored by IEEE Computer Society, 
            Technical Committee on Software Engineering
          in cooperation 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.

WIFT'95 aims at bringing 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:

   o Incorporating FSTs into the development process

   o Integrating formal and informal specification techniques

   o Use of FSTs in software reengineering

   o Use of FSTs in domain analysis and systematic reuse processes

   o Industrial applications of FSTs

   o CASE tool support for FSTs

   o FSTs and software engineering education

   o 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, panel sessions, and working groups are

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 or working group 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 (session/working group) proposal
should be submitted to the Program Chair or appropriate
Regional Coordinator by August 26, 1994. 

Susan Gerhart,
RICIS, University of Houston-Clear Lake,
Houston, TX 77058, USA
tel: +1-713-283-3800
fax: +1-713-283-3810
email: gerhart@cl.uh.edu

Tom Docker, 
CITI Ltd.,
Challenge House, Sherwood Dr.,
Bletchley MK6 3DP, UK
tel: +44-908-377800
fax: +44-908-371257
email: 100121.2156@compuserve.com

T. H. Tse, 
Dept. of Computer Science,
University of Hong Kong, 
Pokfulam Rd., Hong Kong
tel: +852-859-2183
fax: +852-559-8447
email: tse@csd.hku.hk

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 a tutorial co-chair by August 26, 1994.

Betty Cheng, 
Dept. of Computer Science,
Michigan State University, 
A714 Wells Hall, East Lansing,
Michigan 48824-1027, USA
tel: +1-517-355-8344
fax: +1-517-336-1061
email: chengb@cps.msu.edu

Lesley Semmens, 
Faculty of Information and Engineering Systems,
Leeds Metropolitan University, 
The Grange, Beckett Park,
Leeds LS6 3GS, UK
tel: +44-532-832600 ext 3680
fax: +44-532-833182
email: L.Semmens@lmu.ac.uk

If you would like more information on the workshop and/or would
like to be on the workshop's mailing list please contact the
organizing 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-407-367-3857
tel (Maria): +1-407-367-3899
fax: +1-407-367-2800
email: robert@cse.fau.edu
email: maria@cse.fau.edu

Information can also be obtained via anonymous ftp to shark.cse.fau.edu 
(information contained in file named Info in directory /pub/WIFT95).

August 26, 1994: Submission deadline

November 18, 1994: Acceptance notification

January 4, 1995: Camera-ready copy

Pat Allen (Huddersfield Univ., UK)
Pier Giorgio Bosco (CSELT, Italy)
Jonathan Bowen (Oxford Univ., UK)
Peter Breuer (Univ. Poli. de Madrid, Spain)
Tony Bryant (Leeds Metro. Univ., UK)
Jane Cameron (Bellcore, USA)
Betty Cheng (Michigan State Univ., USA)
Bernie Cohen (City Univ., UK)
Dan Craigen (ORA, Canada)
Vivien Hamilton (Rolls-Royce & Associates Ltd., UK)
Kevin Lano (Lloyds Register, UK)
F. Joe Lin (Bellcore, USA)
Sandro Morasca (Poli. di Milano, Italy)
Mauro Pezze (Poli. di Milano, Italy)
Fiona Polack (Univ. of York, UK)
Lesley Semmens (Leeds Metro. Univ., UK)
Jeannette Wing (Carnegie Mellon Univ., USA)

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 yearlong 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.

------- End of Forwarded Message