It is our pleasure to invite you to attend FM'05, the leading international conference for researchers and practitioners in formal methods for the development of computing systems. This year, the conference is being held in Newcastle upon Tyne, UK on 18–22 July.
Formal methods continue to have a major impact on systems and software engineering, especially in areas where dependability, security and trust matter. FM’05 aims to publish the latest developments of interest to researchers and practitioners alike. The outstanding programme of tutorials and workshops (listed overleaf) covers the range from circuit design, through high integrity programming to fault tolerance, architectures and automated reasoning. Wednesday 20 th July is a special Industry Day, with a series of invited talks on experiences of formal methods going mainstream. The programme of around 30 research papers, announced in mid-April, will provide an opportunity to get up to date in all these areas and more. Alongside the tutorials, workshops and research symposium, there will be displays of tools, products, research projects and publishers.
FM’05 is being held in one of England’s most dynamic cities, famous for its captivating welcome, and situated at the heart of an historic and beautiful region. There will be plenty of opportunity for informal discussion, and social activities include a reception at the Hatton Gallery and conference dinner in Alnwick Castle and Gardens. We look forward to welcoming you to Newcastle in July!
John Fitzgerald, General Chair
Ian Hayes, Andrzej Tarlecki, Programme Chairs
Please note: Due to unforseen circumstances, it has been necessary to combine two of the tutorials that were originally offered. The 'Increasing Dependability of Smart Card Based Systems' and the 'Design by Contract and Automatic Verification for Java with JML and ESC/Java 2' tutorials have been replaced by a single full day tutorial called 'Design by Contract and Increased Dependability of Java applications with JML' on Monday 18th July.