FME 2002

Formal Methods Europe
Copenhagen, Denmark, July 22-24, 2002

Future link: FM 2003 is at

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.

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 , with whom provison of necessary computing facilities should be discussed.

Invited speakers

Program Committee

  • co-chair: Lars-Henrik Eriksson <>
    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 <>
    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 <>, Systematic Software Engineering, Denmark