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.

The scope of the symposium, as always in its distinguished history, includes all aspects of the use of formal methods for development of software in all application areas. The scope of the symposium covers the entire range from fundamental theory of description and reasoning to particulars of practice and experience.

• FME 2002 Call for Papers
• FME-affiliated workshops and tutorials
• FME accepted papers
• FME program
• FME 2002 Call for Tool Demonstrations
• Participant list for FME
• FME/CoLogNet Industry Day
• The FME 2002 proceedings are volume 2391 of LNCS

Tool demonstrations

In addition to presentations of submitted papers, invited talks, tutorials, and workshops the symposium will offer tool demonstrations. They will 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.

Invited speakers

• Natarajan Shankar, SRI International, USA
  joint with LICS, RTA: Little engines of proof
• David Basin, U Freiburg, Germany
  The next 700 synthesis calculi
• Anthony Hall, Praxis Critical Systems, UK
  Correctness by construction: Integrating formality into a commercial development process

Program Committee

• co-chair: Lars-Henrik Eriksson <lhe@L4i.se>
  Industrilogik
  Lägerhyddsvägen 18
  SE-752 37 Uppsala, SWEDEN
  +46 18 59 16 90
  +46 8 32 12 82 (fax)
• co-chair: Peter A. Lindsay <Peter.Lindsay@svrc.uq.edu.au>
  Software Verification Research Centre
  The University of Queensland
  Brisbane, Queensland 4072, AUSTRALIA
  +61 7 3365 2005
  +61 7 3365 1533 (fax)
• Bernhard Aichernig, UNU/IIST, Macau, China
• Juan Bicarregui, Rutherford Appleton Laboratory, UK
• Ernie Cohen, Microsoft Research Cambridge, UK
• Ben Di Vito, NASA Langley, USA
• Cindy Eisner, IBM Haifa, Israel
• John Fitzgerald, Transitive Technologies Ltd, UK
• Jim Grundy, Intel, USA
• Yves Ledru, IMAG Grenoble, France
• Markus Montigel, U New Orleans, USA
• Richard Moore, IFAD Odense, Denmark
• Tobias Nipkow, Techn. U of Munich, Germany
• Colin O'Halloran, Qinetiq, UK
• José N. Oliveira, U Minho, Portugal
• Nico Plat, West Consulting, The Netherlands
• Jeannette M. Wing, Carnegie Mellon U, USA
• Jim Woodcock, U Kent-Canterbury, UK
• Joakim von Wright, Åbo Akademi U, Finland
• Pamela Zave, AT&T Labs, USA

Tool Demonstration Coordinator

Paul Mukherjee <pmu@systematic.dk>, Systematic Software Engineering, Denmark