---------------------------------------------------------------------- IFM 2007 Sixth International Conference on Integrated Formal Methods 2nd - 6th July 2007, Oxford, UK http://www.ifm2007.org Final Call for Contributions Contributions to the technical programme of IFM 2007, including papers for the special session on Unifying Theories of Programming, and proposals for workshops and tutorials, are invited. The deadline for submission has been extended to 5th February 2007. See the calls at http://www.ifm2007.org Papers should not exceed 20 pages in length, and should be prepared in accordance with the publisher's guidelines; style files and templates are available at http://www.ifm2007.org/LNCS.html Both .doc and .pdf formats are acceptable. Electronic submission is possible via the conference website. Authors will be notified on or before March 15th. ----------------------------------------------------------------------