[Haskell] FM'05: 2nd Call for Participation

events-admin at fmeurope.org events-admin at fmeurope.org
Thu Jun 9 17:22:23 EDT 2005

Second Call for Participation


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 at the University of 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 covers the range from circuit
through high integrity programming to fault tolerance, architectures and

automated reasoning.
Wednesday 20th 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. The
Final programme can be downloaded from

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: 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

download a registration form from www.csr.ncl.ac.uk/fm05 or contact
the Organiser:
Claire Smith,
Tel: +44 (0) 191 222 7999
Fax: +44 (0) 191 222 8788

events mailing list
events at fmeurope.org

More information about the Haskell mailing list