FOM: Formal Methods Europe, 2002

Stephen G Simpson simpson at
Mon Dec 10 12:26:53 EST 2001

 From: Lars-Henrik Eriksson <lhe at>
 Subject: FME'2002, 2nd CFP
 Date: Mon, 10 Dec 2001 10:26:27 +0100

 apologies if you receive multiple copies...


			    FME 2002
		"Formal Methods: Getting IT Right"

	       International Symposium and Tutorials
			 20-24 July 2002

		       Second Call for Papers

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

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


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


 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.


 Organising Chair

    Dines Bjørner
      Informatics and Mathematical Modelling
      Building 322, Richard Petersens Plads
      Technical University of Denmark
      DK-2800 Lyngby, Denmark
      Tel: +45 4525 3720
      Email: db at

 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 at

    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 at

 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ät München, 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            Åbo 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 at


 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

More information about the FOM mailing list