From: nico@dutiag.tudelft.nl (Nico Plat)
Newsgroups: comp.specification
Subject: Reminder: CFP deadline for FME'93 approaching
Keywords: Formal methods, conference
Date: 11 Sep 92 10:24:20 GMT

Attention! The CFP deadline for FME'93 is approaching!


<<< CALL FOR PAPERS >>><<< CALL FOR PAPERS >>><<< CALL FOR PAPERS >>>

                         FME '93 SYMPOSIUM
                "INDUSTRIAL STRENGTH FORMAL METHODS"

                 Sponsored by the Commission of the
                     European Communities (CEC)
                 Organised by Formal Methods Europe

The first FME Symposium will be held at Odense Technical College in
Denmark, during the week of 19 to 23 April, 1993. It is being
organised by Formal Methods Europe, as the successor to the last four
VDM symposia, to promote the interests of users, researchers and
developers of precise mathematical methods in program development.

The last few years have borne witness to the remarkable diversity of
formal methods, with applications to sequential and concurrent
software, to real-time and reactive systems, and to hardware design.
In that time, many theoretical problems have been tackled and solved,
and many continue to be worked upon.  Yet it is by the suitability of
their industrial application and the extent of their usage that formal
methods will ultimately be judged.  This symposium will focus on the
application of industrial-strength formal methods.  We encourage all
papers to address the difficulties of scaling their techniques up to
industrial-sized problems, and of their suitability in the work-place.
Papers should discuss techniques that are formal (that is, they have a
mathematical basis), and that are industrially applicable.  Papers
tackling theoretical issues are much encouraged, providing that they
contain a justification of the practical advantages that follow.

Full-length research papers, industrial reports, proposals for
tutorials and tool demonstrations are solicited, particularly 
in the following areas:

 * Practical use                  * Case studies
 * Tools                          * Linking formal and informal methods 
 * Comparisons of formal methods  * Proof 
 * Concurrency                    * Real-time and reactive systems 
 * Refinement techniques          * Object orientation 
 * Secure systems                 * Safety-critical systems 
 * The development process        * Education and technology transfer 

1 October 1992
==============

  Submissions:
    - Full, original research papers
      (6 copies, 12pt, single spaced, maximum 20pp)

    - Industrial usage reports
      (6 copies, 12pt, single spaced, maximum 10pp)

    - Proposals for tutorials
      (half day, maximum 50pp of notes for participants)

    - Proposals for tool demonstrations
      (with hardware and software requirements)

   Proposals for tools demonstrations should be sent to the
   organising chairman, while all other proposals should be sent
   to the programme chairman. Industrial usage reports do not
   need to conform to usual standards for academic papers.

1 December 1992
===============

  Notification of acceptance

1 February 1993
===============

  Camera-ready copy due for publishers



     Programme Chairman                Organising Chairman

     Jim C.P. Woodcock,                Peter Gorm Larsen,
     Oxford University                 The Institute of Applied
     Computing Laboratory,             Computer Science (IFAD),
     Programming Research Group        Forskerparken 10,
     11 Keble Road,                    DK-5230 Odense M
     Oxford  OX1 3QD, UK               Denmark
     tel: +44 865 272576               tel: +45 65 93 23 00
     fax: +44 865 273839               fax: +45 65 93 29 99
     email: jimw@prg.ox.ac.uk          email: peter@ifad.dk


                 Executive Programme Committee        

   J.-R. Abrial (F)     Tim Denvir (GB)    Eugene Durr (NL)
   Ian Hayes (AUS)      Steve King (GB)    Hans Langmaack (D)
   Micheal Mac an Airchinnigh (IRL)        Kees Middelburg (NL)
   Soren Prehn (DK)     Hans Toetenel (NL)
Newsgroups: comp.specification.z