IFM2007 home
iFM 2007: integrated Formal Methods
2nd–5th July 2007  Oxford UK
  
login

Integrating Formal Methods

The design and analysis of computing systems presents a significant challenge: systems need to be understood at many different levels of abstraction, and examined from many different perspectives. Formal methods—languages, tools, and techniques with a sound, mathematical basis—can be used to develop a thorough understanding, and to support rigorous examination.

Further research into effective integration is required if these methods are to have a significant impact outside academia. The IFM series of conferences seeks to promote that research, to bring together the researchers carrying it out, and to disseminate the results of that research among the wider academic and industrial community.

This is the sixth IFM conference. Earlier conferences in the series were held at:

  • The University of York, UK (1999)
  • Schloss Dagstuhl, Germany (2000)
  • Turku Centre for Computer Science, Finland (2002)
  • The University of Kent, UK (2004)
  • The University of Eindhoven, The Netherlands (2005)