[TYPES/announce] IFM2007 Final call for contributions

[Jeremy.Gibbons@comlab.ox.ac.uk]

----------------------------------------------------------------------

                               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.

----------------------------------------------------------------------