FME'2002, 2nd CFP

[Lars-Henrik Eriksson]

apologies if you receive multiple copies...


                      FORMAL METHODS EUROPE

                           FME 2002
               "Formal Methods: Getting IT Right"

              International Symposium and Tutorials
                   http://floc02.diku.dk/FME/
                        20-24 July 2002

                      Second Call for Papers
                      **********************

=46ME 2002 is the eleventh in a series of symposia organised by Formal
Methods Europe, an independent association whose aim is to stimulate the
use of, and research on, formal methods for software development. These
symposia have been notably successful in bringing together a community of
users, researchers, and developers of precise mathematical methods for
software development. In 2002 the symposium will be held in conjunction
with the third Federated Logic Conference (FLoC'02) in Copenhagen, Denmark.

The theme of FME 2002 is Formal Methods: Getting IT Right.

The double meaning is intentional. On the one hand, the theme acknowledges
the significant contribution formal methods can make to Information
Technology, by enabling computer systems to be described precisely and
reasoned about with rigour. On the other hand, it recognises that current
formal methods are not perfect, and further research and practice are
required to improve their foundations, applicability and effectiveness.

=46ME seeks papers in all aspects of formal methods for computer systems,
including the following:

 * theoretical foundations
 * practical use and case studies
 * specification and modelling techniques
 * software development and refinement
 * tool support and software engineering environments for formal methods
 * verification and validation
 * hidden formal methods, and making benefits available to non-experts
 * reusable domain theories
 * method integration
 * hardware verification

In addition to presentations of submitted papers, the symposium will
offer tutorials, workshops, invited speakers, and tool demonstrations.

PAPERS

=46ull papers should be submitted in Postscript or PDF format by e-mail to
reach the Program Co-chairs by 15 January 2002. Papers will be refereed by
the Program Committee and must be original research papers that have not
been submitted elsewhere for publication. Accepted papers will be published
in the symposium proceedings.

Papers should not exceed twenty pages, although longer papers will be
considered if their content justifies it. LNCS format should be used: see
 http://www.springer.de/comp/lncs/authors.html for details.
Please include a short list of keywords on a separate line at the end of
the abstract, beginning with the word "Keyword:" in boldface.

OTHER SYMPOSIUM ACTIVITIES

Tutorials and workshops will be held on 20-21 July 2002. Each tutorial will
last one-half or one day. Proposals are welcome, and should be directed to
the Program Co-chairs by 15 January 2002; more details will appear on the
web-site above.

Tool demonstrations will also take place during the symposium, with the
opportunity for presentations to be made about each tool. Proposals for
tool demonstrations should be made to the Tool Demonstration Coordinator,
with whom provison of necessary computing facilities should be discussed.

PEOPLE

Organising Chair

   Dines Bj=F8rner
     Informatics and Mathematical Modelling
     Building 322, Richard Petersens Plads
     Technical University of Denmark
     DK-2800 Lyngby, Denmark
     Tel: +45 4525 3720
     Email: db@imm.dtu.dk

Programme Co-chairs

   Lars-Henrik Eriksson, Industrilogik L4i AB
     Box 6205, SE-102 34 Stockholm, Sweden
     Tel: +46 8 670 37 10   Fax: +46 8 32 12 82
     Email: lhe@L4i.se

   Peter Lindsay, Software Verification Research Centre
     The University of Queensland, Queensland 4072, Australia
     Tel: +61 7 3365 2005  Fax: +61 7 3365 1533
     Email: Peter.Lindsay@svrc.uq.edu.au

Programme Committee

   Bernhard Aichernig           Graz University of Technology, Austria
   Juan Bicarregui              Rutherford Appleton Laboratory, UK
   Ernie Cohen                  Telcordia Technologies, USA
   Ben Di Vito                  NASA Langley Research Center, USA
   Cindy Eisner                 IBM Haifa Research Laboratory, Israel
   Lars-Henrik Eriksson (co-chair)  Industrilogik, Sweden
   John Fitzgerald              Transitive Technologies Ltd, UK
   Jim Grundy                   Intel Corporation, USA
   Yves Ledru                   LSR/IMAG, France
   Peter Lindsay (co-chair)     University of Queensland, Australia
   Markus Montigel              University of New Orleans, USA
   Richard Moore                IFAD, Denmark
   Tobias Nipkow                Technische Universit=E4t M=FCnchen, Germany
   Colin O'Halloran             Qinetiq (ex-DERA), UK
   Jose Oliveira                Universidade do Minho, Portugal
   Nico Plat                    West Consulting, The Netherlands
   Jeannette Wing               Carnegie Mellon University, USA
   Jim Woodcock                 Oxford University, UK
   Joakim von Wright            =C5bo Akademi University, Finland
   Pamela Zave                  AT&T Laboratories, USA

Tool Demonstration Coordinator

   Paul Mukherjee
     The Institute of Applied Computer Sciense (IFAD)
     Forskerparken 10, DK-5230 Odense M, Denmark
     Tel: +45 6315 7131  Fax: +45 6593 2999
     Email: paul.mukherjee@ifad.dk

IMPORTANT DATES

Submission of papers, tutorial proposals
and workshop proposals:                   15 January 2002

Notification of acceptance/rejection:     27 March 2002

Camera ready final version of papers due: 10 May 2002
l